{"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"{"}]}
    {
        T: type_op::normalize::Normalizable<'tcx> + fmt::Display + Copy + 'tcx,
        let param_env = self.infcx.param_env;