fn escaped_self_field_violation<'tcx>( tcx: TyCtxt<'tcx>, current: DefId, origin: &SelfFieldOrigin, ) -> Option<String>