//// [tests/cases/compiler/circularConstrainedMappedTypeNoCrash.ts] ////

=== circularConstrainedMappedTypeNoCrash.ts ===
type Loop<T, U extends Loop<T, U>> = {
>Loop : Loop<T, U>
>     : ^^^^^^^^^^

    [P in keyof T]: U[P] extends boolean ? number : string;
};
