{"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"{"}]}
    {
        T: type_op::normalize::Normalizable<'tcx> + fmt::Display + Copy + 'tcx,
        self.normalize_with_category(value, location, ConstraintCategory::Boring)