{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":")"}]}
    ) {
        info: ty::VarianceDiagInfo<TyCtxt<'tcx>>,
        let sub = self.type_checker.universal_regions.to_region_vid(sub);