SIP Implementation: Precise type annotation#15765

Closed

soronpo wants to merge 17 commits intoscala:mainfrom

soronpo:precise

Commits on Sep 8, 2022

Create tests to cover various feature interactions with precise
soronpo
committed
add `Precise` Mode
soronpo
committed
add `scala.annotation.precise`
soronpo
committed
add `precise` to `Symbol`
soronpo
committed
add `isPrecise` indicator to `Type` and modify printer to reflect that
soronpo
committed
add `precise` indicator to `WildcardType` and propagate it from/to `TypeParamRef`
soronpo
committed
Fix AST desugaring and manipulation to propagate `@precise` annotations on type parameters.
soronpo
committed
do not widen if the parameter is precise or the mode is `Precise`
soronpo
committed
add precise typing for regular and overloaded definitions.
soronpo
committed
add support for precise typing with implicit conversions.
soronpo
committed
fix test check file that its order was changed (because of retyping of precise implicit conversions, the mechanism changed slightly so it caused the reported to change to error order)
soronpo
committed
add support for precise extension methods and implicit classes
soronpo
committed
add support for precise default arguments
soronpo
committed
add checks for proper precise aliasing, extending, and overriding
soronpo
committed
preserves opaque types when widening singletons, to keep extra precise information that the opaque may have. E.g.:
soronpo
committed
fix hidden compiletime-ops bug that only surfaces when a covariant precise type is used with compiletime-ops (the reason is that default covariant widening kept this bug from surfacing)
soronpo
committed
add support for precise implicit summoning
soronpo
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

SIP Implementation: Precise type annotation#15765

Commits on Sep 8, 2022

Create tests to cover various feature interactions with precise

add `Precise` Mode

add `scala.annotation.precise`

add `precise` to `Symbol`

add `isPrecise` indicator to `Type` and modify printer to reflect that

add `precise` indicator to `WildcardType` and propagate it from/to `TypeParamRef`

Fix AST desugaring and manipulation to propagate `@precise` annotations on type parameters.

do not widen if the parameter is precise or the mode is `Precise`

add precise typing for regular and overloaded definitions.

add support for precise typing with implicit conversions.

fix test check file that its order was changed (because of retyping of precise implicit conversions, the mechanism changed slightly so it caused the reported to change to error order)

add support for precise extension methods and implicit classes

add support for precise default arguments

add checks for proper precise aliasing, extending, and overriding

preserves opaque types when widening singletons, to keep extra precise information that the opaque may have. E.g.:

fix hidden compiletime-ops bug that only surfaces when a covariant precise type is used with compiletime-ops (the reason is that default covariant widening kept this bug from surfacing)

add support for precise implicit summoning