8a69a88c9a ^
390ccacfe0 ^
1
2
3
defined class posingAs resolve: [A,B](x: A @posingAs[B])B x: Any = 7