aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty
Commit message (Collapse)AuthorAgeFilesLines
...
* Move things in hir_ty into submodulesFlorian Diebold2021-04-0410-706/+750
| | | | | - all the types that will be replaced by Chalk go to `types` - `TypeWalk` impls go to `walk`
* Add commentFlorian Diebold2021-04-041-0/+3
|
* Replace Substitution::type_paramsFlorian Diebold2021-04-044-12/+11
|
* Replace Substitution::bound_vars and ::type_params_for_genericsFlorian Diebold2021-04-047-54/+42
|
* Move TyBuilder to its own moduleFlorian Diebold2021-04-042-204/+221
|
* Replace last uses of SubstsBuilder by TyBuilderFlorian Diebold2021-04-044-64/+23
|
* Remove CallableSig::from_substsFlorian Diebold2021-04-041-11/+1
|
* Use TyBuilder in another placeFlorian Diebold2021-04-041-4/+3
|
* Some more TyBuilder useFlorian Diebold2021-04-042-33/+25
|
* Replace remaining uses of Substitution::build_for_defFlorian Diebold2021-04-045-18/+44
|
* More TyBuilder useFlorian Diebold2021-04-041-12/+9
|
* More TyBuilder useFlorian Diebold2021-04-041-23/+15
|
* Add and start using TraitRef and ProjectionTy buildersFlorian Diebold2021-04-044-22/+39
|
* Move Ty::builtin to TyBuilderFlorian Diebold2021-04-042-18/+18
|
* Add TyBuilder::adtFlorian Diebold2021-04-044-45/+104
|
* Move Ty::fn_ptr to TyBuilderFlorian Diebold2021-04-042-11/+12
|
* Add TyBuilder::unit() and TyExt::is_unit()Florian Diebold2021-04-047-25/+39
|
* Add TyBuilderFlorian Diebold2021-04-041-0/+6
|
* Access a body's block def maps via a methodJonas Schievink2021-04-042-3/+2
|
* Use bitflags to compress function propertiesJonas Schievink2021-04-034-6/+6
| | | | Very minor savings, only 1 MB or so
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-0316-62/+60
| | | | ... since that's the actual method on Chalk side that matches the signature.
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-0316-152/+301
| | | | | | | Plus some more adaptations to Substitution. Lots of `assert_ty_ref` that we should revisit when introducing lifetime/const parameters.
* Merge #8284bors[bot]2021-04-021-1/+1
|\ | | | | | | | | | | | | | | 8284: Reduce memory usage by using global `Arc`-based interning r=jonas-schievink a=jonas-schievink This saves around 50 mb when running `analysis-stats` on r-a itself. Not a lot, but this infra can be easily reused to intern more stuff. Co-authored-by: Jonas Schievink <[email protected]>
| * Global TypeRef/TraitRef interningJonas Schievink2021-04-011-1/+1
| |
* | Merge #8287bors[bot]2021-04-021-36/+33
|\ \ | | | | | | | | | | | | | | | | | | | | | 8287: Don't allocate in `associated_type_shorthand_candidates` r=Veykril a=Veykril Co-authored-by: Lukas Wirth <[email protected]>
| * | Don't allocate in `associated_type_shorthand_candidates`Lukas Wirth2021-04-021-36/+33
| | |
* | | minor: add profile call for resolve_obligationsAleksey Kladov2021-04-021-0/+2
| | |
* | | Merge #8285bors[bot]2021-04-024-8/+26
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | 8285: Don't recheck obligations if we have learned nothing new r=matklad a=flodiebold This is just the most trivial check: If no inference variables have been updated, and there are no new obligations, we can just skip trying to solve them again. We could be smarter about it, but this already helps quite a bit, and I don't want to touch this too much before we replace the inference table by Chalk's. Fixes #8263 (well, improves it quite a bit). Co-authored-by: Florian Diebold <[email protected]>
| * | Don't recheck obligations if we have learned nothing newFlorian Diebold2021-04-014-8/+26
| |/ | | | | | | | | | | | | | | | | | | This is just the most trivial check: If no inference variables have been updated, and there are no new obligations, we can just skip trying to solve them again. We could be smarter about it, but this already helps quite a bit, and I don't want to touch this too much before we replace the inference table by Chalk's. Fixes #8263 (well, improves it quite a bit).
* | Merge #8283bors[bot]2021-04-011-1/+1
|\ \ | |/ |/| | | | | | | | | | | 8283: Resolve associated types r=flodiebold a=Veykril Prior we were only resolving paths until the first type was found, then discarding the result if the path wasn't fully consumed. That of course causes associated types to not resolve. Fixes #5003 Co-authored-by: Lukas Wirth <[email protected]>
| * Resolve associated types with type anchorsLukas Wirth2021-04-011-1/+1
| |
* | Fix block inner item defined in macroEdwin Cheng2021-03-311-0/+26
|/
* Merge #8266bors[bot]2021-03-311-0/+43
|\ | | | | | | | | | | | | | | | | | | 8266: Fix generic arguments being incorrectly offset in qualified trait casts r=flodiebold a=Veykril We reverse the segments and generic args of the lowered path after building it, this wasn't accounted for when inserting the self parameter in `Type as Trait` segments. Fixes #5886 Co-authored-by: Lukas Wirth <[email protected]>
| * Fix generic arguments being incorrectly offset in qualified trait castsLukas Wirth2021-03-301-0/+43
| |
* | Merge #8186bors[bot]2021-03-301-8/+4
|\ \ | | | | | | | | | | | | | | | | | | | | | 8186: Lower traits to `TraitRef` instead of `TypeRef` r=matklad a=Veykril Co-authored-by: Lukas Wirth <[email protected]>
| * | Remove TraitRef::ErrorLukas Wirth2021-03-291-4/+1
| | |
| * | Rename target_ty to self_tyLukas Wirth2021-03-291-1/+1
| | |
| * | Lower traits to TraitRef instead of TypeRefLukas Wirth2021-03-291-7/+6
| | |
* | | Fix expansion of OR-patterns in match checkJesse Bakker2021-03-301-25/+15
| |/ |/|
* | internal: ensure that runaway type-inference doesn't block the main loopAleksey Kladov2021-03-291-0/+2
|/ | | | | | We have a bug where type-checking `per_query_memory_usage` takes a couple of seconds. It also reveals another bug: our type inference is not cancellable.
* Basic Support Macro 2.0Edwin Cheng2021-03-271-1/+82
|
* Merge #8201bors[bot]2021-03-272-1/+40
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8201: Fix recursive macro statements expansion r=edwin0cheng a=edwin0cheng This PR attempts to properly handle macro statement expansion by implementing the following: 1. Merge macro expanded statements to parent scope statements. 2. Add a new hir `Expr::MacroStmts` for handle tail expression infer. PS : The scope of macro expanded statements are so strange that it took more time than I thought to understand and implement it :( Fixes #8171 Co-authored-by: Edwin Cheng <[email protected]>
| * Fix recursive macro statement expansionEdwin Cheng2021-03-252-1/+40
| |
* | completion relevance consider if types can be unifiedJosh Mcguigan2021-03-263-1/+10
| |
* | Use arrayvec 0.6Laurențiu Nicola2021-03-253-7/+5
|/
* Merge #7907bors[bot]2021-03-247-36/+210
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 7907: Autoderef with visibility r=cynecx a=cynecx Fixes https://github.com/rust-analyzer/rust-analyzer/issues/7841. I am not sure about the general approach here. Right now this simply tries to check whether the autoderef candidate is reachable from the current module. ~~However this doesn't exactly work with traits (see the `tests::macros::infer_derive_clone_in_core` test, which fails right now).~~ see comment below Refs: - `rustc_typeck` checking fields: https://github.com/rust-lang/rust/blob/66ec64ccf31883cd2c28d045912a76179c0c6ed2/compiler/rustc_typeck/src/check/expr.rs#L1610 r? @flodiebold Co-authored-by: cynecx <[email protected]>
| * hir_ty: don't call write_field_resolution when field candidate isn't visiblecynecx2021-03-241-6/+4
| |
| * hir_def: move visibility queries from hir_ty to hir_defcynecx2021-03-243-34/+5
| |
| * hir_ty: add coverage testing for autoderef_visibility_method testcynecx2021-03-202-0/+2
| |
| * hir_ty: fix test by removing trailing whitespacecynecx2021-03-201-24/+23
| |