{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"ConstraintCategory::Boring,"}]}
            ConstraintCategory::Boring,
            location.to_locations(),
            self.infcx.param_env.and(type_op::normalize::DeeplyNormalize { value }),