aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/tests
Commit message (Collapse)AuthorAgeFilesLines
* internal: switch some tests to minicoreAleksey Kladov2021-06-161-15/+1
|
* internal: add iterator to minicoreAleksey Kladov2021-06-161-39/+8
|
* internal: add fn to minicoreAleksey Kladov2021-06-163-304/+228
|
* internal: add result to minicoreAleksey Kladov2021-06-151-19/+1
|
* internal: add option to minicoreAleksey Kladov2021-06-151-40/+6
|
* internal: add future to minicoreAleksey Kladov2021-06-151-12/+2
|
* internal: switch some tests to minicoreAleksey Kladov2021-06-153-70/+59
|
* internal: switch some tests to minicoreAleksey Kladov2021-06-152-55/+32
|
* internal: add ranges to minicoreAleksey Kladov2021-06-151-27/+1
|
* internal: unindent some testsAleksey Kladov2021-06-151-255/+252
|
* internal: switch some tests to minicoreAleksey Kladov2021-06-152-111/+102
|
* internal: switch some tests to minicoreAleksey Kladov2021-06-152-59/+50
|
* internal: switch some tests to minicoreAleksey Kladov2021-06-151-181/+129
|
* internal: switch some tests to minicoreAleksey Kladov2021-06-151-116/+81
|
* internal: introduce minicore -- a subset of libcore for testingAleksey Kladov2021-06-151-28/+19
|
* internal: document that we don't #[ignore] testsAleksey Kladov2021-06-152-10/+26
|
* Make block-local trait impls workFlorian Diebold2021-06-131-0/+67
| | | | | As long as either the trait or the implementing type are defined in the same block.
* Fix coercion in match with expected typeFlorian Diebold2021-06-122-52/+48
| | | | Plus add infrastructure to test type mismatches without expect.
* Merge #9104bors[bot]2021-06-031-0/+49
|\ | | | | | | | | | | | | | | | | | | | | 9104: Implement `#[rustc_skip_array_during_method_dispatch]` r=flodiebold a=jonas-schievink haxx run the world Closes https://github.com/rust-analyzer/rust-analyzer/issues/8552 Part of https://github.com/rust-analyzer/rust-analyzer/issues/9056 Co-authored-by: Jonas Schievink <[email protected]>
| * 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. ↵cynecx2021-05-301-8/+23
| | | | fix #9052)
* 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
|\ | | | | | | | | | | | | | | 8987: Fix lowering of FnOnce() without return type r=flodiebold a=flodiebold This should result in an implicit `-> ()`, not leaving out the binding. Co-authored-by: Florian Diebold <[email protected]>
| * Hide `-> ()` in Fn traitsFlorian Diebold2021-05-251-3/+3
| |
| * Fix lowering of FnOnce() without return typeFlorian Diebold2021-05-251-5/+27
| | | | | | | | This should result in an implicit `-> ()`, not leaving out the binding.
* | 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
| | | | | | MacroStmts should be completely transparent, but it prevented coercion. (I should maybe give `infer_expr` and `infer_expr_inner` better names.)
* 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
| | | | Instead use shallow resolving where necessary.
* Fix handling of diverging branches in match coercionFlorian Diebold2021-05-211-0/+39
| | | | Fixes #7626.
* Fix coercion of two closures to a function pointerFlorian Diebold2021-05-212-37/+16
| | | | Fixes #8604.
* 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
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8813: Get some more array lengths! r=lf- a=lf- This is built on #8799 and thus contains its changes. I'll rebase it onto master when that one gets merged. It adds support for r-a understanding the length of: * `let a: [u8; 2] = ...` * `let a = b"aaa"` * `let a = [0u8; 4]` I have added support for getting the values of byte strings, which was not previously there. I am least confident in the correctness of this part and it probably needs some more tests, as we currently have only one test that exercised that part (!). Fixes #2922. Co-authored-by: Jade <[email protected]>
| * Add more tests, refactor array lengths/consteval workJade2021-05-142-1/+106
| | | | | | | | | | | | | | | | | | | | | | Fix #2922: add unknown length as a condition for a type having unknown. Incorporate reviews: * Extract some of the const evaluation workings into functions * Add fixmes on the hacks * Add tests for impls on specific array lengths (these work!!! 😁) * Add tests for const generics (indeed we don't support it yet)
| * 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
| | | | | | | | Now we will get the type of `[0u8; 4]`.
| * Support length for ByteStringsJade2021-05-131-2/+2
| | | | | | | | I am not confident that my added byte string parsing is right.
| * Add lowering of array lengths in typesJade2021-05-133-34/+34
| | | | | | | | | | | | | | | | | | | | | | Now e.g. ```rust fn a(b: [u8; 2]) { } ``` will know about the length of b.
* | Fix false positive "Missing match arm".Dawer2021-05-141-1/+1
|/
* Merge #8799bors[bot]2021-05-125-95/+95
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | 8799: Add basic support for array lengths in types r=flodiebold a=lf- This recognizes `let a = [1u8, 2, 3]` as having type `[u8; 3]` instead of the previous `[u8; _]`. Byte strings and `[0u8; 2]` kinds of range array declarations are unsupported as before. I don't know why a bunch of our rustc tests had single quotes inside strings un-escaped by `UPDATE_EXPECT=1 cargo t`, but I don't think it's bad? Maybe something in a nightly? Co-authored-by: Jade <[email protected]>
| * Add basic support for array lengths in typesJade2021-05-115-95/+95
| | | | | | | | | | | | | | | | | | | | This recognizes `let a = [1u8, 2, 3]` as having type `[u8; 3]` instead of the previous `[u8; _]`. Byte strings and `[0u8; 2]` kinds of range array declarations are unsupported as before. I don't know why a bunch of our rustc tests had single quotes inside strings un-escaped by `UPDATE_EXPECT=1 cargo t`, but I don't think it's bad? Maybe something in a nightly?