{"ast_node_type":"other","tokens":[{"end":2,"kind":"keyword","start":0,"text":"};"}]}
};
    type_allowed_to_implement_const_param_ty, type_allowed_to_implement_copy,
use rustc_trait_selection::traits::{self, ObligationCause, ObligationCtxt};