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