Searched refs:old_tv2_ts (Results 1 – 7 of 7) sorted by relevance
462 let old_tv2_ts = tv2.get_typeset(); in constrain_fixpoint() localVariable465 assert!(old_tv2_ts == tv2.get_typeset()); in constrain_fixpoint()
459 let old_tv2_ts = tv2.get_typeset().clone(); in constrain_fixpoint() localVariable462 assert!(old_tv2_ts == tv2.get_typeset()); in constrain_fixpoint()
463 let old_tv2_ts = tv2.get_typeset(); in constrain_fixpoint() localVariable466 assert!(old_tv2_ts == tv2.get_typeset()); in constrain_fixpoint()