Skip to content

Don't erase the type argument of receiver #723

Don't erase the type argument of receiver

Don't erase the type argument of receiver #723

Annotations

1 warning

typecheck-part1 on JDK 23-ea

succeeded Dec 17, 2024 in 8m 31s
Set up job
2s
Run actions/checkout@v4
2s
Set up JDK 23-ea
28s
Set up JDK 21 on an experimental platform
1s
Setup Gradle
3s
Setup Bazel
0s
Run test script checker/bin-devel/test-typecheck-part1
7m 52s
Post Setup Gradle
1s
Post Set up JDK 21 on an experimental platform
0s
Post Set up JDK 23-ea
0s
Post Run actions/checkout@v4
0s
Complete job
0s