pub fn map_entry_ty(k: TyId, v: TyId, tys: &Types) -> TyIdExpand description
v0.158 (ADR 0184): the compiler-known MapEntry[K, V] record — the element
a store Map[K, V]’s .entries query yields. A nominal generic record
({ key: K, value: V }), so it flows through unify/compatible/display
and the ADR 0183 non-boundary rule like any generic-record instantiation;
its fields are resolved by name in check_field_access (it has no
user-visible TypeDecl, like JsonError).