//@ known-bug: #134217 impl std::ops::CoerceUnsized for A {} fn main() { if let _ = true && true {} }