aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty
Commit message (Expand)AuthorAgeFilesLines
...
* Fix warnings & formatFlorian Diebold2021-05-213-20/+11
* Rewrite coercion using the new unificationFlorian Diebold2021-05-216-105/+371
* Remove our unification code, use Chalk's insteadFlorian Diebold2021-05-218-438/+125
* Check patterns for type match recursively.Dawer2021-05-192-2/+30
* internal: Record mismatches of pattern types.Dawer2021-05-196-11/+93
* Merge #8813bors[bot]2021-05-1611-103/+251
|\
| * Address final feedbackJade2021-05-163-31/+17
| * Add more tests, refactor array lengths/consteval workJade2021-05-145-34/+179
| * Test lowering byte strings some moreJade2021-05-131-14/+25
| * Add support for lengths in array repeats, if they are literalsJade2021-05-132-7/+17
| * Support length for ByteStringsJade2021-05-132-8/+16
| * Add lowering of array lengths in typesJade2021-05-139-76/+64
* | Fix false positive "Missing match arm".Dawer2021-05-143-5/+7
|/
* Merge #8799bors[bot]2021-05-1211-109/+155
|\
| * address review by @eddybJade2021-05-112-2/+3
| * Add basic support for array lengths in typesJade2021-05-1111-109/+154
* | Merge #8398bors[bot]2021-05-113-2/+51
|\ \ | |/ |/|
| * Add a test for conditionally compiled tailsDaniel McNab2021-05-031-0/+49
| * Fix inference with conditionally compiled tailsDaniel McNab2021-05-032-2/+2
* | Correctly support SelfType when searching for usagesLukas Wirth2021-05-081-2/+34
* | Reuse database in LowerCtxJonas Schievink2021-05-061-1/+1
* | Don't store call-site text offsets in hygiene infoJonas Schievink2021-05-061-2/+2
|/
* Don't look in super traits for <T as Trait>::AssocFlorian Diebold2021-04-292-7/+14
* Rewrite all_super_trait_refs as an iteratorFlorian Diebold2021-04-291-18/+34
* Handle cycles in generic_defaults more gracefullyFlorian Diebold2021-04-292-0/+22
* Add test for #8686Florian Diebold2021-04-291-0/+30
* fix: closure unify without check ClosureIdComonad2021-04-292-0/+40
* Bump chalkLaurențiu Nicola2021-04-211-3/+3
* Merge #8462bors[bot]2021-04-193-8/+275
|\
| * hir_ty: cleanups and extend infinitely_recursive_macro_type testcynecx2021-04-182-8/+14
| * hir_ty: keep body::Expander in TyLoweringContextcynecx2021-04-182-14/+83
| * hir_def: refactor expand_macro_type and cleanupscynecx2021-04-171-3/+3
| * hir_ty: deal with TypeRef::Macro in HirFormattercynecx2021-04-171-2/+15
| * hir_ty: Expand macros at type positioncynecx2021-04-173-2/+181
* | Collect inherent impls in unnamed constsJonas Schievink2021-04-192-17/+62
|/
* Merge #8539bors[bot]2021-04-162-1/+2
|\
| * Exclude inherent traits from flyimportsKirill Bulatov2021-04-162-1/+2
* | Fix primitive shadowing with inner itemsJonas Schievink2021-04-161-0/+18
|/
* Profile trait solving for all invocationsKirill Bulatov2021-04-142-5/+19
* Better places for spansKirill Bulatov2021-04-141-2/+1
* We need to go deeperKirill Bulatov2021-04-141-1/+5
* Add a missing spanKirill Bulatov2021-04-141-0/+2
* decl_check: follow test style guideJonas Schievink2021-04-131-60/+59
* Merge #8432bors[bot]2021-04-131-14/+140
|\
| * address review feedbackJade2021-04-131-21/+35
| * decl_check: consider outer scopes' allowsJade2021-04-081-10/+122
* | Remove assertion in impl collectionFlorian Diebold2021-04-111-4/+3
* | Merge #8465bors[bot]2021-04-111-3/+3
|\ \
| * | Include more info in assertJonas Schievink2021-04-111-3/+3
* | | Support macros in pattern positionJonas Schievink2021-04-112-2/+28
|/ /