stderr:<stdin>:16:24: warning: 'is' test is always true _ = Box<Int, S>.X.self is P2.Type ^ (edited)