| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/ena-0.14.0/src/unify/ |
| H A D | tests.rs | 269 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_same_int_twice()
270 assert!(ut.unify_var_value(k2, Some(22)).is_ok()); in unify_same_int_twice()
285 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_then_int_indirect()
299 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_different_ints_1()
313 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_different_ints_2()
326 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_distinct_ints_then_vars()
327 assert!(ut.unify_var_value(k2, Some(23)).is_ok()); in unify_distinct_ints_then_vars()
341 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_root_value_1()
343 assert!(ut.unify_var_value(k3, Some(23)).is_ok()); in unify_root_value_1()
357 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_root_value_2()
[all …]
|
| H A D | mod.rs | 493 self.unify_var_value(id, value).unwrap(); in union_value()
539 pub fn unify_var_value<K1>(&mut self, a_id: K1, b: V) -> Result<(), V::Error> in unify_var_value() function
|
| /dports/security/sequoia/sequoia-383133f6be990237044900a4df676488bf8dd71e/cargo-crates/ena-0.13.1/src/unify/ |
| H A D | tests.rs | 259 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_same_int_twice()
260 assert!(ut.unify_var_value(k2, Some(22)).is_ok()); in unify_same_int_twice()
275 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_then_int_indirect()
289 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_different_ints_1()
303 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_different_ints_2()
316 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_distinct_ints_then_vars()
317 assert!(ut.unify_var_value(k2, Some(23)).is_ok()); in unify_distinct_ints_then_vars()
331 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_root_value_1()
333 assert!(ut.unify_var_value(k3, Some(23)).is_ok()); in unify_root_value_1()
347 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_root_value_2()
[all …]
|
| H A D | mod.rs | 462 self.unify_var_value(id, value).unwrap(); in union_value()
508 pub fn unify_var_value<K1>(&mut self, a_id: K1, b: V) -> Result<(), V::Error> in unify_var_value() function
|
| /dports/games/abstreet/abstreet-0.2.9-49-g74aca40c0/cargo-crates/ena-0.11.0/src/unify/ |
| H A D | tests.rs | 259 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_same_int_twice()
260 assert!(ut.unify_var_value(k2, Some(22)).is_ok()); in unify_same_int_twice()
275 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_then_int_indirect()
289 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_different_ints_1()
303 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_different_ints_2()
316 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_distinct_ints_then_vars()
317 assert!(ut.unify_var_value(k2, Some(23)).is_ok()); in unify_distinct_ints_then_vars()
331 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_root_value_1()
333 assert!(ut.unify_var_value(k3, Some(23)).is_ok()); in unify_root_value_1()
347 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_root_value_2()
[all …]
|
| H A D | mod.rs | 441 self.unify_var_value(id, value).unwrap(); in union_value()
487 pub fn unify_var_value<K1>(&mut self, a_id: K1, b: V) -> Result<(), V::Error> in unify_var_value() function
|
| /dports/net/krill/krill-0.9.4/cargo-crates/ena-0.14.0/src/unify/ |
| H A D | tests.rs | 269 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_same_int_twice()
270 assert!(ut.unify_var_value(k2, Some(22)).is_ok()); in unify_same_int_twice()
285 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_then_int_indirect()
299 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_different_ints_1()
313 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_different_ints_2()
326 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_distinct_ints_then_vars()
327 assert!(ut.unify_var_value(k2, Some(23)).is_ok()); in unify_distinct_ints_then_vars()
341 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_root_value_1()
343 assert!(ut.unify_var_value(k3, Some(23)).is_ok()); in unify_root_value_1()
357 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_root_value_2()
[all …]
|
| H A D | mod.rs | 493 self.unify_var_value(id, value).unwrap(); in union_value()
539 pub fn unify_var_value<K1>(&mut self, a_id: K1, b: V) -> Result<(), V::Error> in unify_var_value() function
|
| /dports/devel/racer/racer-2.1.48/cargo-crates/ena-0.14.0/src/unify/ |
| H A D | tests.rs | 269 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_same_int_twice()
270 assert!(ut.unify_var_value(k2, Some(22)).is_ok()); in unify_same_int_twice()
285 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_then_int_indirect()
299 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_different_ints_1()
313 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_different_ints_2()
326 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_distinct_ints_then_vars()
327 assert!(ut.unify_var_value(k2, Some(23)).is_ok()); in unify_distinct_ints_then_vars()
341 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_root_value_1()
343 assert!(ut.unify_var_value(k3, Some(23)).is_ok()); in unify_root_value_1()
357 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_root_value_2()
[all …]
|
| H A D | mod.rs | 493 self.unify_var_value(id, value).unwrap(); in union_value()
539 pub fn unify_var_value<K1>(&mut self, a_id: K1, b: V) -> Result<(), V::Error> in unify_var_value() function
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/ena/src/unify/ |
| H A D | tests.rs | 269 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_same_int_twice()
270 assert!(ut.unify_var_value(k2, Some(22)).is_ok()); in unify_same_int_twice()
285 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_then_int_indirect()
299 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_different_ints_1()
313 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_vars_different_ints_2()
326 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_distinct_ints_then_vars()
327 assert!(ut.unify_var_value(k2, Some(23)).is_ok()); in unify_distinct_ints_then_vars()
341 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_root_value_1()
343 assert!(ut.unify_var_value(k3, Some(23)).is_ok()); in unify_root_value_1()
357 assert!(ut.unify_var_value(k1, Some(22)).is_ok()); in unify_root_value_2()
[all …]
|
| H A D | mod.rs | 493 self.unify_var_value(id, value).unwrap(); in union_value()
539 pub fn unify_var_value<K1>(&mut self, a_id: K1, b: V) -> Result<(), V::Error> in unify_var_value() function
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/infer/ |
| H A D | unify.rs | 383 .unify_var_value( in unify_general_var_specific_ty()
926 .unify_var_value( in relate_var_ty()
1040 .unify_var_value( in unify_lifetime_var()
1154 .unify_var_value(var, InferenceValue::from_const(interner, c1)) in unify_var_const()
1373 .unify_var_value(var, InferenceValue::Unbound(self.universe_index)) in fold_inference_ty()
1419 .unify_var_value(var, InferenceValue::Unbound(self.universe_index)) in fold_inference_const()
1449 .unify_var_value(var, InferenceValue::Unbound(self.universe_index)) in fold_inference_lifetime()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/infer/ |
| H A D | unify.rs | 383 .unify_var_value( in unify_general_var_specific_ty()
926 .unify_var_value( in relate_var_ty()
1040 .unify_var_value( in unify_lifetime_var()
1154 .unify_var_value(var, InferenceValue::from_const(interner, c1)) in unify_var_const()
1374 .unify_var_value(var, InferenceValue::Unbound(self.universe_index)) in fold_inference_ty()
1420 .unify_var_value(var, InferenceValue::Unbound(self.universe_index)) in fold_inference_const()
1450 .unify_var_value(var, InferenceValue::Unbound(self.universe_index)) in fold_inference_lifetime()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/infer/ |
| H A D | unify.rs | 383 .unify_var_value( in unify_general_var_specific_ty()
926 .unify_var_value( in relate_var_ty()
1040 .unify_var_value( in unify_lifetime_var()
1154 .unify_var_value(var, InferenceValue::from_const(interner, c1)) in unify_var_const()
1374 .unify_var_value(var, InferenceValue::Unbound(self.universe_index)) in fold_inference_ty()
1420 .unify_var_value(var, InferenceValue::Unbound(self.universe_index)) in fold_inference_const()
1450 .unify_var_value(var, InferenceValue::Unbound(self.universe_index)) in fold_inference_lifetime()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_infer/src/infer/ |
| H A D | combine.rs | 251 .unify_var_value( in unify_const_variable()
274 .unify_var_value(vid, Some(val)) in unify_integral_variable()
291 .unify_var_value(vid, Some(ty::FloatVarValue(val))) in unify_float_variable()
|