| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.Numerical/ |
| H A D | BoxedVariable.cs | 36 readonly VariableKind kind;
44 kind = VariableKind.Normal; in BoxedVariable()
49 kind = VariableKind.Slack; in BoxedVariable()
57 kind = VariableKind.Slack; in BoxedVariable()
103 if (kind == VariableKind.Slack) in ToString()
172 #region Nested type: VariableKind
174 enum VariableKind { enum in Mono.CodeContracts.Static.Analysis.Numerical.BoxedVariable
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/clauses/builtin_traits/ |
| H A D | copy.rs | 4 use chalk_ir::{CanonicalVarKinds, Floundered, Substitution, TyKind, TyVariableKind, VariableKind};
82 VariableKind::Ty(TyVariableKind::Integer) in add_copy_program_clauses()
83 | VariableKind::Ty(TyVariableKind::Float) => builder.push_fact(trait_ref), in add_copy_program_clauses()
86 VariableKind::Ty(TyVariableKind::General) => return Err(Floundered), in add_copy_program_clauses()
88 VariableKind::Const(_) | VariableKind::Lifetime => {} in add_copy_program_clauses()
|
| H A D | sized.rs | 8 AdtId, CanonicalVarKinds, Floundered, Substitution, TyKind, TyVariableKind, VariableKind,
107 VariableKind::Ty(TyVariableKind::Integer) in add_sized_program_clauses()
108 | VariableKind::Ty(TyVariableKind::Float) => builder.push_fact(trait_ref), in add_sized_program_clauses()
111 VariableKind::Ty(TyVariableKind::General) => return Err(Floundered), in add_sized_program_clauses()
113 VariableKind::Const(_) | VariableKind::Lifetime => {} in add_sized_program_clauses()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/clauses/builtin_traits/ |
| H A D | copy.rs | 4 use chalk_ir::{CanonicalVarKinds, Floundered, Substitution, TyKind, TyVariableKind, VariableKind};
82 VariableKind::Ty(TyVariableKind::Integer) in add_copy_program_clauses()
83 | VariableKind::Ty(TyVariableKind::Float) => builder.push_fact(trait_ref), in add_copy_program_clauses()
86 VariableKind::Ty(TyVariableKind::General) => return Err(Floundered), in add_copy_program_clauses()
88 VariableKind::Const(_) | VariableKind::Lifetime => {} in add_copy_program_clauses()
|
| H A D | sized.rs | 8 AdtId, CanonicalVarKinds, Floundered, Substitution, TyKind, TyVariableKind, VariableKind,
107 VariableKind::Ty(TyVariableKind::Integer) in add_sized_program_clauses()
108 | VariableKind::Ty(TyVariableKind::Float) => builder.push_fact(trait_ref), in add_sized_program_clauses()
111 VariableKind::Ty(TyVariableKind::General) => return Err(Floundered), in add_sized_program_clauses()
113 VariableKind::Const(_) | VariableKind::Lifetime => {} in add_sized_program_clauses()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/clauses/builtin_traits/ |
| H A D | copy.rs | 4 use chalk_ir::{CanonicalVarKinds, Floundered, Substitution, TyKind, TyVariableKind, VariableKind};
82 VariableKind::Ty(TyVariableKind::Integer) in add_copy_program_clauses()
83 | VariableKind::Ty(TyVariableKind::Float) => builder.push_fact(trait_ref), in add_copy_program_clauses()
86 VariableKind::Ty(TyVariableKind::General) => return Err(Floundered), in add_copy_program_clauses()
88 VariableKind::Const(_) | VariableKind::Lifetime => {} in add_copy_program_clauses()
|
| H A D | sized.rs | 8 AdtId, CanonicalVarKinds, Floundered, Substitution, TyKind, TyVariableKind, VariableKind,
107 VariableKind::Ty(TyVariableKind::Integer) in add_sized_program_clauses()
108 | VariableKind::Ty(TyVariableKind::Float) => builder.push_fact(trait_ref), in add_sized_program_clauses()
111 VariableKind::Ty(TyVariableKind::General) => return Err(Floundered), in add_sized_program_clauses()
113 VariableKind::Const(_) | VariableKind::Lifetime => {} in add_sized_program_clauses()
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/infer/ |
| H A D | unify.rs | 16 ProjectionTy, Scalar, Solution, Substitution, TraitEnvironment, Ty, TyKind, VariableKind,
62 VariableKind::Ty(TyVariableKind::General) => ctx.new_type_var().cast(Interner), in apply_solution()
64 VariableKind::Ty(TyVariableKind::Float) => ctx.new_float_var().cast(Interner), in apply_solution()
66 VariableKind::Lifetime => static_lifetime().cast(Interner), in apply_solution()
121 chalk_ir::VariableKind::Ty(_ty_kind) => find_var(iv) in unify()
123 chalk_ir::VariableKind::Lifetime => find_var(iv) in unify()
125 chalk_ir::VariableKind::Const(ty) => find_var(iv) in unify()
537 Interner, Lifetime, Ty, TyVariableKind, VariableKind,
553 F: Fn(InferenceVar, VariableKind, GenericArg, DebruijnIndex) -> GenericArg + 'i,
588 (self.fallback)(var, VariableKind::Ty(kind), default, outer_binder) in fold_inference_ty()
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/infer/ |
| H A D | unify.rs | 16 ProjectionTy, Scalar, Solution, Substitution, TraitEnvironment, Ty, TyKind, VariableKind,
62 VariableKind::Ty(TyVariableKind::General) => ctx.new_type_var().cast(&Interner), in apply_solution()
64 VariableKind::Ty(TyVariableKind::Float) => ctx.new_float_var().cast(&Interner), in apply_solution()
66 VariableKind::Lifetime => static_lifetime().cast(&Interner), in apply_solution()
121 chalk_ir::VariableKind::Ty(_ty_kind) => find_var(iv) in unify()
123 chalk_ir::VariableKind::Lifetime => find_var(iv) in unify()
125 chalk_ir::VariableKind::Const(ty) => find_var(iv) in unify()
536 Interner, Lifetime, Ty, TyVariableKind, VariableKind,
552 F: Fn(InferenceVar, VariableKind, GenericArg, DebruijnIndex) -> GenericArg + 'i,
585 (self.fallback)(var, VariableKind::Ty(kind), default, outer_binder) in fold_inference_ty()
[all …]
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/ |
| H A D | autoderef.rs | 9 use chalk_ir::{cast::Cast, fold::Fold, interner::HasInterner, VariableKind};
186 VariableKind::Ty(chalk_ir::TyVariableKind::General), in deref_by_trait()
242 VariableKind::Ty(_) => { in fixup_lifetime_variables()
247 VariableKind::Lifetime => static_lifetime().cast(Interner), in fixup_lifetime_variables()
248 VariableKind::Const(_) => unimplemented!(), in fixup_lifetime_variables()
254 VariableKind::Ty(_) => true, in fixup_lifetime_variables()
255 VariableKind::Lifetime => false, in fixup_lifetime_variables()
256 VariableKind::Const(_) => true, in fixup_lifetime_variables()
|
| /dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/ |
| H A D | autoderef.rs | 9 use chalk_ir::{cast::Cast, fold::Fold, interner::HasInterner, VariableKind};
180 VariableKind::Ty(chalk_ir::TyVariableKind::General), in deref_by_trait()
239 VariableKind::Ty(_) => { in fixup_lifetime_variables()
244 VariableKind::Lifetime => static_lifetime().cast(&Interner), in fixup_lifetime_variables()
245 VariableKind::Const(_) => unimplemented!(), in fixup_lifetime_variables()
251 VariableKind::Ty(_) => true, in fixup_lifetime_variables()
252 VariableKind::Lifetime => false, in fixup_lifetime_variables()
253 VariableKind::Const(_) => true, in fixup_lifetime_variables()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_traits/src/chalk/ |
| H A D | mod.rs | 72 chalk_ir::VariableKind::Ty(chalk_ir::TyVariableKind::General), in evaluate_goal()
76 chalk_ir::VariableKind::Ty(chalk_ir::TyVariableKind::Integer), in evaluate_goal()
80 chalk_ir::VariableKind::Ty(chalk_ir::TyVariableKind::Float), in evaluate_goal()
85 chalk_ir::VariableKind::Lifetime, in evaluate_goal()
120 chalk_ir::VariableKind::Ty(ty_kind) => CanonicalVarKind::Ty(match ty_kind { in evaluate_goal()
127 chalk_ir::VariableKind::Lifetime => CanonicalVarKind::Region( in evaluate_goal()
130 chalk_ir::VariableKind::Const(_) => CanonicalVarKind::Const( in evaluate_goal()
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/clauses/ |
| H A D | generalize.rs | 13 TyVariableKind, VariableKind, VariableKinds,
18 binders: Vec<VariableKind<I>>,
59 binder_vec.push(VariableKind::Ty(TyVariableKind::General)); in fold_free_var_ty()
74 binder_vec.push(VariableKind::Lifetime); in fold_free_var_lifetime()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/clauses/ |
| H A D | generalize.rs | 13 VariableKind, VariableKinds,
18 binders: Vec<VariableKind<I>>,
57 binder_vec.push(VariableKind::Ty(TyVariableKind::General)); in fold_free_var_ty()
72 binder_vec.push(VariableKind::Lifetime); in fold_free_var_lifetime()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/clauses/ |
| H A D | generalize.rs | 13 VariableKind, VariableKinds,
18 binders: Vec<VariableKind<I>>,
57 binder_vec.push(VariableKind::Ty(TyVariableKind::General)); in fold_free_var_ty()
72 binder_vec.push(VariableKind::Lifetime); in fold_free_var_lifetime()
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/infer/ |
| H A D | instantiate.rs | 46 binders: impl Iterator<Item = VariableKind<I>>, in instantiate_in()
102 VariableKind::Lifetime => { in instantiate_binders_universally()
106 VariableKind::Ty(_) => placeholder_idx.to_ty(interner).cast(interner), in instantiate_binders_universally()
107 VariableKind::Const(ty) => { in instantiate_binders_universally()
|
| H A D | test.rs | 273 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U2), in quantify_simple()
274 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U1), in quantify_simple()
275 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U0), in quantify_simple()
316 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U1), in quantify_bound()
317 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U0), in quantify_bound()
318 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U2), in quantify_bound()
362 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U0), in quantify_ty_under_binder()
363 CanonicalVarKind::new(VariableKind::Lifetime, U0) in quantify_ty_under_binder()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/infer/ |
| H A D | instantiate.rs | 46 binders: impl Iterator<Item = VariableKind<I>>, in instantiate_in()
106 VariableKind::Lifetime => { in instantiate_binders_universally()
110 VariableKind::Ty(_) => placeholder_idx.to_ty(interner).cast(interner), in instantiate_binders_universally()
111 VariableKind::Const(ty) => { in instantiate_binders_universally()
|
| H A D | test.rs | 273 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U2), in quantify_simple()
274 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U1), in quantify_simple()
275 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U0), in quantify_simple()
316 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U1), in quantify_bound()
317 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U0), in quantify_bound()
318 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U2), in quantify_bound()
362 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U0), in quantify_ty_under_binder()
363 CanonicalVarKind::new(VariableKind::Lifetime, U0) in quantify_ty_under_binder()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/infer/ |
| H A D | instantiate.rs | 46 binders: impl Iterator<Item = VariableKind<I>>, in instantiate_in()
106 VariableKind::Lifetime => { in instantiate_binders_universally()
110 VariableKind::Ty(_) => placeholder_idx.to_ty(interner).cast(interner), in instantiate_binders_universally()
111 VariableKind::Const(ty) => { in instantiate_binders_universally()
|
| H A D | test.rs | 273 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U2), in quantify_simple()
274 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U1), in quantify_simple()
275 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U0), in quantify_simple()
316 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U1), in quantify_bound()
317 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U0), in quantify_bound()
318 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U2), in quantify_bound()
362 CanonicalVarKind::new(VariableKind::Ty(TyVariableKind::General), U0), in quantify_ty_under_binder()
363 CanonicalVarKind::new(VariableKind::Lifetime, U0) in quantify_ty_under_binder()
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-ir-0.75.0/src/ |
| H A D | zip.rs | 398 impl<I: Interner> Zip<I> for VariableKind<I> { implementation
406 (VariableKind::Ty(a), VariableKind::Ty(b)) if a == b => Ok(()), in zip_with()
407 (VariableKind::Lifetime, VariableKind::Lifetime) => Ok(()), in zip_with()
408 (VariableKind::Const(ty_a), VariableKind::Const(ty_b)) => { in zip_with()
411 (VariableKind::Ty(_), _) in zip_with()
412 | (VariableKind::Lifetime, _) in zip_with()
413 | (VariableKind::Const(_), _) => panic!("zipping things of mixed kind"), in zip_with()
|
| /dports/lang/rust/rustc-1.58.1-src/src/test/rustdoc/synthetic_auto/ |
| H A D | overflow.rs | 21 struct VariableKind<I: Interner>(I::InternedType); struct
26 val: VariableKind<RustInterner<'tcx>>
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir-0.55.0/src/ |
| H A D | zip.rs | 457 impl<I: Interner> Zip<I> for VariableKind<I> { implementation
468 (VariableKind::Ty(a), VariableKind::Ty(b)) if a == b => Ok(()), in zip_with()
469 (VariableKind::Lifetime, VariableKind::Lifetime) => Ok(()), in zip_with()
470 (VariableKind::Const(ty_a), VariableKind::Const(ty_b)) => { in zip_with()
473 (VariableKind::Ty(_), _) in zip_with()
474 | (VariableKind::Lifetime, _) in zip_with()
475 | (VariableKind::Const(_), _) => panic!("zipping things of mixed kind"), in zip_with()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir/src/ |
| H A D | zip.rs | 457 impl<I: Interner> Zip<I> for VariableKind<I> { implementation
468 (VariableKind::Ty(a), VariableKind::Ty(b)) if a == b => Ok(()), in zip_with()
469 (VariableKind::Lifetime, VariableKind::Lifetime) => Ok(()), in zip_with()
470 (VariableKind::Const(ty_a), VariableKind::Const(ty_b)) => { in zip_with()
473 (VariableKind::Ty(_), _) in zip_with()
474 | (VariableKind::Lifetime, _) in zip_with()
475 | (VariableKind::Const(_), _) => panic!("zipping things of mixed kind"), in zip_with()
|