Function fn_has_alias_requires 

fn fn_has_alias_requires(tcx: TyCtxt<'_>, def_id: DefId) -> bool

Whether the caller declares an Alias assumption in its #[rapx::requires] (directly or via a compound like Ptr2Ref). Such a function relies on its caller-guaranteed precondition rather than on field encapsulation, so the field-encapsulation escape check must not fire on it.