aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
...
* Turn Ty::Tuple variant into a tuple-variantLukas Wirth2021-02-287-20/+18
* Fix code_model::Type::walk not walking all typesLukas Wirth2021-02-282-19/+18
* Inline TypeCtor into TyLukas Wirth2021-02-2815-832/+644
* Use chalk_ir::Scalar directlyLukas Wirth2021-02-286-197/+78
* Introduce TypeCtor::ScalarLukas Wirth2021-02-289-298/+271
* Add test from #7273Laurențiu Nicola2021-02-211-0/+45
* Don't write trailing whitespace when formatting empty GenericPredicatesLukas Wirth2021-02-202-11/+22
* Don't lower TypeBound::Lifetime as GenericPredicate::ErrorLukas Wirth2021-02-203-23/+21
* Add testLaurențiu Nicola2021-02-201-0/+24
* Wrap `BuiltinType` in code modelJonas Schievink2021-02-112-13/+11
* Add test for #1165Jonas Schievink2021-02-101-0/+29
* Slightly expand testJonas Schievink2021-02-101-0/+3
* Add more testsJonas Schievink2021-02-102-8/+84
* Put the old resolver backJonas Schievink2021-02-101-3/+8
* Update fixed testsJonas Schievink2021-02-102-18/+20
* infer: update resolver when descending into blockJonas Schievink2021-02-102-16/+39
* Infra for "unit" benchmarkingAleksey Kladov2021-02-091-11/+12
* Merge #7602bors[bot]2021-02-082-11/+38
|\
| * Check for dyn impls in method resolutionLukas Wirth2021-02-082-11/+38
* | Update crateskjeremy2021-02-081-2/+3
|/
* Merge #7574bors[bot]2021-02-051-1/+1
|\
| * Remove redundant clonesYoshua Wuyts2021-02-051-1/+1
| |
| \
*-. \ Merge #7570 #7571bors[bot]2021-02-052-161/+151
|\ \ \ | |_|/ |/| |
| | * Cleanup decl_checkLukas Wirth2021-02-052-161/+151
| |/
* / Remove unnecessary allocs in case_convLukas Wirth2021-02-051-18/+16
|/
* Make `ModPath`'s representation privateJonas Schievink2021-02-041-1/+1
* Use block_def_map in body loweringJonas Schievink2021-02-031-1/+1
* Bump chalkLaurențiu Nicola2021-02-021-2/+2
* Revert "Use block_def_map in body lowering"Jonas Schievink2021-02-021-1/+1
* Use block_def_map in body loweringJonas Schievink2021-02-011-1/+1
* Classify function calls as functions when shadowed by typesLukas Wirth2021-01-282-14/+17
* Create all `ModuleId`s through a `DefMap` methodJonas Schievink2021-01-251-1/+1
* Update tests to register the required standard library typesPhil Ellison2021-01-232-16/+48
* Fix test namesPhil Ellison2021-01-231-4/+4
* Identify methods using functions ids rather than string namesPhil Ellison2021-01-231-7/+27
* Implement fix, add testsPhil Ellison2021-01-232-28/+55
* Add diagnostic for filter_map followed by nextPhil Ellison2021-01-232-13/+105
* Make `ModuleId`'s `krate` field privateJonas Schievink2021-01-227-15/+17
* Obtain `ModuleId`'s `DefMap` through a methodJonas Schievink2021-01-221-3/+3
* Merge #7386bors[bot]2021-01-222-1/+28
|\
| * Handle box with allocatorThiébaud Weksteen2021-01-222-1/+28
* | Make public DefMap fields privateJonas Schievink2021-01-203-5/+5
* | Rename `CrateDefMap` to `DefMap`Jonas Schievink2021-01-181-3/+3
* | Merge #7291bors[bot]2021-01-181-2/+2
|\ \ | |/ |/|
| * Wrap remaining self/super/crate in Name{Ref}Lukas Wirth2021-01-151-2/+2
* | Merge #7276bors[bot]2021-01-173-3/+3
|\ \ | |/ |/|
| * Remove map module from la-arena public APIAramis Razzaghipour2021-01-153-3/+3
* | Add support for yiled keywordDaiki Ihara2021-01-151-0/+7
|/
* prepare to publish el libro de arenaAleksey Kladov2021-01-144-4/+4
* Render Fn* trait objects and impl types as rust doesLukas Wirth2021-01-133-29/+94