aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty
Commit message (Collapse)AuthorAgeFilesLines
* Fix handling of the binders in dyn/impl TraitFlorian Diebold2019-11-163-13/+59
| | | | | | | | | We need to be more careful now when substituting bound variables (previously, we didn't have anything that used bound variables except Chalk, so it was not a problem). This is obviously quite ad-hoc; Chalk has more infrastructure for handling this in a principled way, which we maybe should adopt.
* Use Chalk's dyn/impl trait supportFlorian Diebold2019-11-163-13/+16
|
* Upgrade ChalkFlorian Diebold2019-11-162-108/+191
| | | | | Associated type values (in impls) are now a separate entity in Chalk, so we have to intern separate IDs for them.
* Force passing Source when creating a SourceAnalyzerAleksey Kladov2019-11-151-8/+9
|
* Remove old impls infrastructureAleksey Kladov2019-11-152-61/+25
|
* Auto-upgrade some insta snapshotsAleksey Kladov2019-11-151-49/+5
|
* Move body queries to hir_defAleksey Kladov2019-11-142-4/+5
|
* Reduce duplication between uncertain floats & intsAleksey Kladov2019-11-135-64/+51
|
* Move expression lowering to hir_defAleksey Kladov2019-11-121-2/+1
|
* Remove owner from BodyAleksey Kladov2019-11-122-10/+9
|
* Move definition of exprs to hir_defAleksey Kladov2019-11-123-33/+35
|
* Minor refactoringAleksey Kladov2019-11-121-3/+3
|
* Minor cleanupAleksey Kladov2019-11-121-1/+1
|
* Don't reexport generics from HIRAleksey Kladov2019-11-113-4/+5
|
* Merge #2205bors[bot]2019-11-111-0/+19
|\ | | | | | | | | | | | | | | | | | | | | | | | | 2205: Implement bulitin line! macro r=matklad a=edwin0cheng This PR implements bulitin macro `line!` and add basic infra-structure for other bulitin macros: 1. Extend `MacroDefId` to support builtin macros 2. Add a `quote!` macro for simple quasi quoting. Note that for support others builtin macros, eager macro expansion have to be supported first, this PR not try to handle it. :) Co-authored-by: Edwin Cheng <[email protected]>
| * Add line macro and testsEdwin Cheng2019-11-111-0/+19
| |
* | Unfork struct and union idsAleksey Kladov2019-11-091-2/+2
|/
* Move Namespace enum closer to usageAleksey Kladov2019-11-044-9/+23
|
* Rename MockDatabase -> TestDBAleksey Kladov2019-11-041-16/+16
| | | | Actually working rename is sooo useful!
* Remove more duplication in test fixturesAleksey Kladov2019-11-041-1/+1
|
* Use new text DSL instead of crate_graph! macroAleksey Kladov2019-11-041-59/+25
|
* Remove last traces of nameres from hirAleksey Kladov2019-11-032-5/+3
|
* Move CrateDefMap to hir_defAleksey Kladov2019-11-031-1/+1
|
* Move diagnostics to hir_expandAleksey Kladov2019-11-021-8/+4
|
* Various review fixesFlorian Diebold2019-11-012-17/+12
|
* Add some doc commentsFlorian Diebold2019-11-011-0/+6
|
* Complete trait assoc itemsFlorian Diebold2019-11-011-1/+1
|
* Refactor a bitFlorian Diebold2019-11-011-36/+25
|
* Don't do autoderef for path resolutionFlorian Diebold2019-11-011-18/+39
|
* Refactor to unify with method resolutionFlorian Diebold2019-11-013-133/+96
|
* Record assoc item resolutionFlorian Diebold2019-11-011-1/+3
|
* Insert type vars before doing assoc item resolutionFlorian Diebold2019-11-012-12/+15
|
* Add another unrelated, currently not working testFlorian Diebold2019-11-011-0/+16
|
* Get trait assoc item resolution mostly workingFlorian Diebold2019-11-012-11/+248
|
* move struct & enum data to hir_defAleksey Kladov2019-10-311-4/+4
|
* move builtin types to hir_defAleksey Kladov2019-10-312-26/+12
|
* push name down to hir_expandAleksey Kladov2019-10-304-7/+6
|
* remove forward pointer for type_refAleksey Kladov2019-10-304-8/+11
|
* remove forward pointer to PathAleksey Kladov2019-10-304-7/+11
|
* remove forward pointer for nameAleksey Kladov2019-10-304-4/+7
|
* Move ids to hir_def crateAleksey Kladov2019-10-301-29/+5
|
* introduce ra_hir_defAleksey Kladov2019-10-302-8/+8
|
* Upgrade Chalk, make use of TypeName::Error variantFlorian Diebold2019-10-291-8/+7
|
* Upgrade Chalk (without using its dyn/impl Trait support)Florian Diebold2019-10-262-43/+73
|
* Bump depsLaurențiu Nicola2019-10-172-4/+10
|
* make_mut_sliceShotaro Yamada2019-10-142-15/+9
|
* import make_mut_arc_sliceShotaro Yamada2019-10-141-1/+2
|
* `.collect()` directly into `Arc<[T]>`Shotaro Yamada2019-10-143-21/+16
|
* Avoid cloning `Arc<[T]>` into a vec if possibleShotaro Yamada2019-10-142-12/+18
|
* Split up infer.rs furtherFlorian Diebold2019-10-124-1135/+1192
| | | | | | - coercion logic goes to `coerce.rs` - expression inference goes to `expr.rs` - pattern inference goes to `pat.rs`
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-28 02:58:58 +0000