Skip to content

Commit 9e14dee

Browse files
committed
Fix dependent function type test
Previously the `implicitly[C]` was refining its return type of `ev` by inlining. As we are now inlining after typer we refine the return type explicitly to `ev.type`.
1 parent c6c5389 commit 9e14dee

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

tests/disabled/pos/depfuntype.scala renamed to tests/pos/depfuntype.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ object Test {
1919
// Reproduced here because the one from DottyPredef is lacking a Tasty tree and
2020
// therefore can't be inlined when testing non-bootstrapped.
2121
// But inlining `implicitly` is vital to make the definition of `ifun` below work.
22-
inline final def implicitly[T](implicit ev: T): T = ev
22+
inline final def implicitly[T](implicit ev: T): ev.type = ev
2323

2424
type IDF = implicit (x: C) => x.M
2525

0 commit comments

Comments
 (0)