Searched refs:comes_from_same_engine (Results 1 – 4 of 4) sorted by relevance
335 if !self.comes_from_same_engine(engine) || !other.comes_from_same_engine(engine) { in ensure_matches()348 Self::Ref(r) => r.comes_from_same_engine(engine), in comes_from_same_engine()565 if !self.comes_from_same_engine(engine) || !other.comes_from_same_engine(engine) { in ensure_matches()576 self.heap_type().comes_from_same_engine(engine) in comes_from_same_engine()1262 if !self.comes_from_same_engine(engine) || !other.comes_from_same_engine(engine) { in ensure_matches()1817 self.element_type.comes_from_same_engine(engine) in comes_from_same_engine()1930 assert!(ty.comes_from_same_engine(engine)); in with_finality_and_supertype()2040 assert!(a.comes_from_same_engine(b.engine())); in eq()2290 assert!(a.comes_from_same_engine(b.engine())); in eq()2662 assert!(a.comes_from_same_engine(b.engine())); in eq()[all …]
215 assert!(ty.comes_from_same_engine(store.engine())); in _matches_ty()247 if !ty.comes_from_same_engine(store.engine()) { in ensure_matches_ty()1075 assert!(ty.comes_from_same_engine(store.engine())); in _matches_ty()1127 if !ty.comes_from_same_engine(store.engine()) { in ensure_matches_ty()
2256 assert!(ty.comes_from_same_engine(engine)); in vmctx_sync()
250 debug_assert!(expected.comes_from_same_engine(engine)); in typecheck()251 debug_assert!(actual.comes_from_same_engine(engine)); in typecheck()