/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/ |
H A D | walk.rs | 7 AliasEq, AliasTy, Binders, CallableSig, FnSubst, GenericArg, GenericArgData, Interner, 20 TyKind::Alias(AliasTy::Projection(p_ty)) => { in walk() 25 TyKind::Alias(AliasTy::Opaque(o_ty)) => { in walk() 78 impl TypeWalk for AliasTy { implementation 81 AliasTy::Projection(it) => it.walk(f), in walk() 82 AliasTy::Opaque(it) => it.walk(f), in walk() 137 AliasTy::Projection(projection_ty) => projection_ty.walk(f), in walk() 138 AliasTy::Opaque(opaque) => opaque.walk(f), in walk()
|
H A D | chalk_ext.rs | 13 from_placeholder_idx, to_chalk_trait_id, AdtId, AliasEq, AliasTy, Binders, CallableDefId, 219 TyKind::Alias(AliasTy::Opaque(opaque_ty)) => { in impl_trait_bounds() 252 alias: AliasTy::Projection(proj), in impl_trait_bounds() 276 TyKind::Alias(AliasTy::Projection(projection_ty)) => { in associated_type_parent_trait()
|
/dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/ |
H A D | walk.rs | 7 AliasEq, AliasTy, Binders, CallableSig, FnSubst, GenericArg, GenericArgData, Interner, 20 TyKind::Alias(AliasTy::Projection(p_ty)) => { in walk() 25 TyKind::Alias(AliasTy::Opaque(o_ty)) => { in walk() 78 impl TypeWalk for AliasTy { implementation 81 AliasTy::Projection(it) => it.walk(f), in walk() 82 AliasTy::Opaque(it) => it.walk(f), in walk() 137 AliasTy::Projection(projection_ty) => projection_ty.walk(f), in walk() 138 AliasTy::Opaque(opaque) => opaque.walk(f), in walk()
|
H A D | chalk_ext.rs | 12 from_placeholder_idx, to_chalk_trait_id, AdtId, AliasEq, AliasTy, Binders, CallableDefId, 218 TyKind::Alias(AliasTy::Opaque(opaque_ty)) => { in impl_trait_bounds() 251 alias: AliasTy::Projection(proj), in impl_trait_bounds() 275 TyKind::Alias(AliasTy::Projection(projection_ty)) => { in associated_type_parent_trait()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/logging_db/ |
H A D | id_collector.rs | 7 AliasTy, DebruijnIndex, TyKind, WhereClause, 130 AliasTy::Projection(projection_ty) => { in visit_ty() 134 AliasTy::Opaque(opaque_ty) => { in visit_ty() 156 AliasTy::Projection(projection_ty) => { in visit_where_clause() 160 AliasTy::Opaque(opaque_ty) => { in visit_where_clause()
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/clauses/builtin_traits/ |
H A D | generator.rs | 5 use chalk_ir::{AliasTy, Floundered, Normalize, ProjectionTy, Substitution, Ty, TyKind}; 49 let yield_alias = AliasTy::Projection(ProjectionTy { in add_generator_program_clauses() 60 let return_alias = AliasTy::Projection(ProjectionTy { in add_generator_program_clauses()
|
H A D | discriminant_kind.rs | 4 AliasTy, Floundered, Normalize, ProjectionTy, Substitution, Ty, TyKind, TyVariableKind, 62 alias: AliasTy::Projection(ProjectionTy { in add_discriminant_clauses()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/clauses/builtin_traits/ |
H A D | generator.rs | 5 use chalk_ir::{AliasTy, Floundered, Normalize, ProjectionTy, Substitution, Ty, TyKind}; 49 let yield_alias = AliasTy::Projection(ProjectionTy { in add_generator_program_clauses() 60 let return_alias = AliasTy::Projection(ProjectionTy { in add_generator_program_clauses()
|
H A D | discriminant_kind.rs | 4 AliasTy, Floundered, Normalize, ProjectionTy, Substitution, Ty, TyKind, TyVariableKind, 62 alias: AliasTy::Projection(ProjectionTy { in add_discriminant_clauses()
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/logging_db/ |
H A D | id_collector.rs | 7 AliasTy, DebruijnIndex, TyKind, WhereClause, 107 fn visit_alias(&mut self, alias: &AliasTy<I>) { in visit_alias() 109 AliasTy::Projection(projection_ty) => { in visit_alias() 113 AliasTy::Opaque(opaque_ty) => self.record(opaque_ty.opaque_ty_id), in visit_alias()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/logging_db/ |
H A D | id_collector.rs | 7 AliasTy, DebruijnIndex, TyKind, WhereClause, 107 fn visit_alias(&mut self, alias: &AliasTy<I>) { in visit_alias() 109 AliasTy::Projection(projection_ty) => { in visit_alias() 113 AliasTy::Opaque(opaque_ty) => self.record(opaque_ty.opaque_ty_id), in visit_alias()
|
/dports/security/clamav-lts/clamav-0.103.5/libclamav/c++/llvm/lib/Analysis/ |
H A D | AliasSetTracker.cpp | 36 AliasTy |= AS.AliasTy; in mergeSetIn() 39 if (AliasTy == MustAlias) { in mergeSetIn() 50 AliasTy = MayAlias; in mergeSetIn() 100 AliasTy = MayAlias; in addPointer() 124 AliasTy = MayAlias; in addCallSite() 130 AliasTy = MayAlias; in addCallSite() 139 if (AliasTy == MustAlias) { in aliasesPointer() 521 OS << (AliasTy == MustAlias ? "must" : "may") << " alias, "; in print()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/ |
H A D | clauses.rs | 490 AliasTy::Projection(proj) => { in program_clauses_that_could_match() 524 AliasTy::Opaque(opaque_ty) => db in program_clauses_that_could_match() 577 AliasTy::Projection(proj) => { in program_clauses_that_could_match() 633 AliasTy::Opaque(_) => (), in program_clauses_that_could_match() 742 alias: AliasTy<I>, in push_alias_implemented_clause() 789 alias: AliasTy<I>, in push_alias_alias_eq_clause() 814 let fresh_alias = AliasTy::Projection(ProjectionTy { in push_alias_alias_eq_clause() 914 TyKind::Alias(AliasTy::Projection(proj)) => builder in match_ty() 918 TyKind::Alias(AliasTy::Opaque(opaque_ty)) => builder in match_ty() 967 alias: &AliasTy<I>, in match_alias_ty() [all …]
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/ |
H A D | clauses.rs | 502 AliasTy::Projection(proj) => { in program_clauses_that_could_match() 536 AliasTy::Opaque(opaque_ty) => db in program_clauses_that_could_match() 589 AliasTy::Projection(proj) => { in program_clauses_that_could_match() 645 AliasTy::Opaque(_) => (), in program_clauses_that_could_match() 754 alias: AliasTy<I>, in push_alias_implemented_clause() 801 alias: AliasTy<I>, in push_alias_alias_eq_clause() 826 let fresh_alias = AliasTy::Projection(ProjectionTy { in push_alias_alias_eq_clause() 926 TyKind::Alias(AliasTy::Projection(proj)) => builder in match_ty() 930 TyKind::Alias(AliasTy::Opaque(opaque_ty)) => builder in match_ty() 979 alias: &AliasTy<I>, in match_alias_ty() [all …]
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/ |
H A D | clauses.rs | 503 AliasTy::Projection(proj) => { in program_clauses_that_could_match() 537 AliasTy::Opaque(opaque_ty) => db in program_clauses_that_could_match() 590 AliasTy::Projection(proj) => { in program_clauses_that_could_match() 646 AliasTy::Opaque(_) => (), in program_clauses_that_could_match() 755 alias: AliasTy<I>, in push_alias_implemented_clause() 802 alias: AliasTy<I>, in push_alias_alias_eq_clause() 827 let fresh_alias = AliasTy::Projection(ProjectionTy { in push_alias_alias_eq_clause() 1034 TyKind::Alias(AliasTy::Projection(proj)) => builder in match_ty() 1038 TyKind::Alias(AliasTy::Opaque(opaque_ty)) => builder in match_ty() 1092 alias: &AliasTy<I>, in match_alias_ty() [all …]
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/clauses/builtin_traits/ |
H A D | discriminant_kind.rs | 4 AliasTy, Floundered, Normalize, ProjectionTy, Substitution, Ty, TyKind, TyVariableKind, 62 alias: AliasTy::Projection(ProjectionTy { in add_discriminant_clauses()
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/clauses/ |
H A D | program_clauses.rs | 128 alias: AliasTy::Projection(projection.clone()), in to_program_clauses() 157 let alias = AliasTy::Opaque(OpaqueTy { in to_program_clauses() 814 let projection_ty = AliasTy::Projection(projection.clone()).intern(interner); in to_program_clauses() 824 alias: AliasTy::Projection(projection.clone()), in to_program_clauses() 900 alias: AliasTy::Projection(projection.clone()), in to_program_clauses() 906 alias: AliasTy::Projection(projection), in to_program_clauses()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/clauses/ |
H A D | program_clauses.rs | 128 alias: AliasTy::Projection(projection.clone()), in to_program_clauses() 157 let alias = AliasTy::Opaque(OpaqueTy { in to_program_clauses() 814 let projection_ty = AliasTy::Projection(projection.clone()).intern(interner); in to_program_clauses() 824 alias: AliasTy::Projection(projection.clone()), in to_program_clauses() 900 alias: AliasTy::Projection(projection.clone()), in to_program_clauses() 906 alias: AliasTy::Projection(projection), in to_program_clauses()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/clauses/ |
H A D | program_clauses.rs | 128 alias: AliasTy::Projection(projection.clone()), in to_program_clauses() 157 let alias = AliasTy::Opaque(OpaqueTy { in to_program_clauses() 804 let projection_ty = AliasTy::Projection(projection.clone()).intern(interner); in to_program_clauses() 814 alias: AliasTy::Projection(projection.clone()), in to_program_clauses() 890 alias: AliasTy::Projection(projection.clone()), in to_program_clauses() 896 alias: AliasTy::Projection(projection), in to_program_clauses()
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/infer/ |
H A D | closure.rs | 3 use chalk_ir::{cast::Cast, AliasEq, AliasTy, FnSubst, WhereClause}; 52 if let WhereClause::AliasEq(AliasEq { alias: AliasTy::Projection(projection), ty }) = in deduce_sig_from_dyn_ty()
|
/dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/infer/ |
H A D | closure.rs | 3 use chalk_ir::{cast::Cast, AliasEq, AliasTy, FnSubst, WhereClause}; 52 if let WhereClause::AliasEq(AliasEq { alias: AliasTy::Projection(projection), ty }) = in deduce_sig_from_dyn_ty()
|
/dports/security/clamav-lts/clamav-0.103.5/libclamav/c++/llvm/include/llvm/Analysis/ |
H A D | AliasSetTracker.h | 119 unsigned AliasTy : 1; variable 140 bool isMustAlias() const { return AliasTy == MustAlias; } in isMustAlias() 141 bool isMayAlias() const { return AliasTy == MayAlias; } in isMayAlias() 206 AccessTy(NoModRef), AliasTy(MustAlias), Volatile(false) {
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-engine/src/ |
H A D | slg.rs | 189 TyKind::Alias(AliasTy::Projection(proj1)), in aggregate_tys() 190 TyKind::Alias(AliasTy::Projection(proj2)), in aggregate_tys() 194 TyKind::Alias(AliasTy::Opaque(opaque_ty1)), in aggregate_tys() 195 TyKind::Alias(AliasTy::Opaque(opaque_ty2)), in aggregate_tys()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-engine/src/slg/ |
H A D | aggregate.rs | 257 TyKind::Alias(AliasTy::Projection(proj1)), in aggregate_tys() 258 TyKind::Alias(AliasTy::Projection(proj2)), in aggregate_tys() 262 TyKind::Alias(AliasTy::Opaque(opaque_ty1)), in aggregate_tys() 263 TyKind::Alias(AliasTy::Opaque(opaque_ty2)), in aggregate_tys() 400 TyKind::Alias(AliasTy::Projection(ProjectionTy { in aggregate_projection_tys() 425 TyKind::Alias(AliasTy::Opaque(OpaqueTy { in aggregate_opaque_ty_tys()
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/display/ |
H A D | bounds.rs | 132 AliasTy::Projection(projection_ty) => { in fmt() 151 AliasTy::Opaque(opaque) => write!(f, "{}", opaque.display(s)), in fmt()
|