aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/tests
Commit message (Expand)AuthorAgeFilesLines
* internal: document that we don't #[ignore] testsAleksey Kladov2021-06-152-10/+26
* Make block-local trait impls workFlorian Diebold2021-06-131-0/+67
* Fix coercion in match with expected typeFlorian Diebold2021-06-122-52/+48
* Merge #9104bors[bot]2021-06-031-0/+49
|\
| * Implement `#[rustc_skip_array_during_method_dispatch]`Jonas Schievink2021-06-011-0/+49
* | Fix bind patterns always being treated as ref taking patternsLukas Wirth2021-06-021-19/+28
|/
* Implement per-edition preludesJonas Schievink2021-06-015-44/+97
* hir_ty: use correct receiver_ty in method resolutioncynecx2021-05-311-0/+78
* hir_ty: don't pass where clauses of associated types down to chalk (temp. fix...cynecx2021-05-301-8/+23
* hir_ty: use async ret type for inference inside async bodiescynecx2021-05-291-0/+49
* Remove fragment kind knowledge from builtin macrosJonas Schievink2021-05-291-0/+18
* Move hir_ty incremental test to its own fileJonas Schievink2021-05-271-0/+51
* Consider trait to be in scope for trait-implLukas Wirth2021-05-251-0/+30
* Merge #8987bors[bot]2021-05-251-2/+24
|\
| * Hide `-> ()` in Fn traitsFlorian Diebold2021-05-251-3/+3
| * Fix lowering of FnOnce() without return typeFlorian Diebold2021-05-251-5/+27
* | Fix type inference not working for new Try traitLukas Wirth2021-05-251-0/+37
|/
* Minor test fixes / new testsFlorian Diebold2021-05-251-15/+62
* Fix type mismatch caused by macrosFlorian Diebold2021-05-251-0/+44
* Fix test after rebaseFlorian Diebold2021-05-211-1/+1
* Deal with goals arising from unificationFlorian Diebold2021-05-211-1/+1
* Get rid of resolve_ty_as_possibleFlorian Diebold2021-05-212-9/+9
* Fix handling of diverging branches in match coercionFlorian Diebold2021-05-211-0/+39
* Fix coercion of two closures to a function pointerFlorian Diebold2021-05-212-37/+16
* Update tests with expected changesFlorian Diebold2021-05-211-37/+34
* internal: Record mismatches of pattern types.Dawer2021-05-191-1/+57
* Merge #8813bors[bot]2021-05-164-50/+166
|\
| * Add more tests, refactor array lengths/consteval workJade2021-05-142-1/+106
| * Test lowering byte strings some moreJade2021-05-131-14/+25
| * Add support for lengths in array repeats, if they are literalsJade2021-05-131-1/+1
| * Support length for ByteStringsJade2021-05-131-2/+2
| * Add lowering of array lengths in typesJade2021-05-133-34/+34
* | Fix false positive "Missing match arm".Dawer2021-05-141-1/+1
|/
* Merge #8799bors[bot]2021-05-125-95/+95
|\
| * Add basic support for array lengths in typesJade2021-05-115-95/+95
* | Add a test for conditionally compiled tailsDaniel McNab2021-05-031-0/+49
|/
* Don't look in super traits for <T as Trait>::AssocFlorian Diebold2021-04-291-0/+8
* Add test for #8686Florian Diebold2021-04-291-0/+30
* fix: closure unify without check ClosureIdComonad2021-04-291-0/+36
* Merge #8462bors[bot]2021-04-191-0/+199
|\
| * hir_ty: cleanups and extend infinitely_recursive_macro_type testcynecx2021-04-181-5/+9
| * hir_ty: keep body::Expander in TyLoweringContextcynecx2021-04-181-0/+26
| * hir_ty: Expand macros at type positioncynecx2021-04-171-0/+169
* | Collect inherent impls in unnamed constsJonas Schievink2021-04-191-1/+36
|/
* Fix primitive shadowing with inner itemsJonas Schievink2021-04-161-0/+18
* Support macros in pattern positionJonas Schievink2021-04-112-2/+28
* Respect test style guidelines in tests::traitsLukas Wirth2021-04-101-698/+656
* Add test for binary op return ty with adtLukas Wirth2021-04-101-0/+47
* Add manual ops::Add impls to test::traits::closure_2Lukas Wirth2021-04-101-20/+46
* Implement more precise binary op return type predictionLukas Wirth2021-04-101-5/+5