{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//!"}]}
//! 4 is now "all predicates on `impl1` are always applicable". We require that
//! check trait is always applicable in the same way as impls, except that step
//! `specialization` or `min_specialization` is enabled to implement these