Skip to content

Commit aeae05e

Browse files
committed
Add regression test
1 parent 1fd1de9 commit aeae05e

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

tests/cases/conformance/types/typeParameters/typeParameterLists/typeParameterIndirectlyConstrainedToItself.ts

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,4 +15,9 @@ var a: {
1515
var b = <U extends T, T extends U>() => { }
1616
var b2 = <T extends U, U extends V, V extends T>() => { }
1717

18-
class D<U extends T, T extends V, V extends T> { }
18+
class D<U extends T, T extends V, V extends T> { }
19+
20+
// Repro from #25740
21+
22+
type Foo<T> = [T] extends [number] ? {} : {};
23+
function foo<S extends Foo<S>>() {}

0 commit comments

Comments
 (0)