{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//!"}]}
//! check trait is always applicable in the same way as impls, except that step
//! If a trait is always applicable, then it's sound to specialize on it. We
//! 4 is now "all predicates on `impl1` are always applicable". We require that