fn validate_reborrow_field_access(
tcx: TyCtxt<'_>,
impl_did: LocalDefId,
def: AdtDef<'_>,
trait_name: &'static str,
diagnostic_context: CoerceSharedDiagnosticContext,
role: CoerceSharedTypeRole,
) -> Result<(), ErrorGuaranteed>