Home
last modified time | relevance | path

Searched refs:AliasTy (Results 1 – 25 of 80) sorted by relevance

1234

/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/
H A Dwalk.rs7 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 Dchalk_ext.rs13 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 Dwalk.rs7 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 Dchalk_ext.rs12 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 Did_collector.rs7 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 Dgenerator.rs5 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 Ddiscriminant_kind.rs4 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 Dgenerator.rs5 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 Ddiscriminant_kind.rs4 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 Did_collector.rs7 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 Did_collector.rs7 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 DAliasSetTracker.cpp36 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 Dclauses.rs490 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 Dclauses.rs502 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 Dclauses.rs503 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 Ddiscriminant_kind.rs4 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 Dprogram_clauses.rs128 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 Dprogram_clauses.rs128 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 Dprogram_clauses.rs128 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 Dclosure.rs3 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 Dclosure.rs3 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 DAliasSetTracker.h119 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 Dslg.rs189 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 Daggregate.rs257 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 Dbounds.rs132 AliasTy::Projection(projection_ty) => { in fmt()
151 AliasTy::Opaque(opaque) => write!(f, "{}", opaque.display(s)), in fmt()

1234