fn visit_implementation_of_const_param_ty( tcx: TyCtxt<'_>, impl_did: LocalDefId ) -> Result<(), ErrorGuaranteed>