{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"assert!(!instance.has_non_region_param(),"}]}
        assert!(!instance.has_non_region_param(), "{instance:?} needs further instantiation");
    pub fn instance_ty(&self, instance: ty::Instance<'tcx>) -> Ty<'tcx> {
        instance.ty(self.tcx, self.fully_monomorphized())