scala3 icon indicating copy to clipboard operation
scala3 copied to clipboard

Published 20 hours ago • verified publisher icon scala

Fix the tparam bounds of exported inherited classes

Open dwijnand opened this issue 2 years ago • 1 comments

When trying to export M2.F, seeing M1#F from the prefix M2 doesn't change the bounds of F's T type parameter, which still refers to M1.this.A, rather than M2.A. So, we run asSeenFrom against that info, when eta-expanding the class into a hk type lambda.

dwijnand avatar Oct 04 '23 13:10 dwijnand

Sorry for not coming back to this earlier. LGTM now. This should be merged after rebase.

odersky avatar Feb 24 '24 17:02 odersky