aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/tests/simple.rs
Commit message (Collapse)AuthorAgeFilesLines
* Add more tests, refactor array lengths/consteval workJade2021-05-141-1/+9
| | | | | | | | | | | 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
|
* 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-131-8/+8
| | | | | | | | | | | Now e.g. ```rust fn a(b: [u8; 2]) { } ``` will know about the length of b.
* Add basic support for array lengths in typesJade2021-05-111-40/+40
| | | | | | | | | | 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?
* fix: closure unify without check ClosureIdComonad2021-04-291-0/+36
| | | | closes #8604
* Fix primitive shadowing with inner itemsJonas Schievink2021-04-161-0/+18
|
* Infer variants through type aliased enumsLukas Wirth2021-04-071-0/+33
|
* hir_ty: fix visibility in infer_inherent_method testcynecx2021-03-201-16/+16
|
* Support `#[cfg]` on all associated itemsJonas Schievink2021-03-181-0/+19
|
* Use upstream cov-markLaurențiu Nicola2021-03-081-2/+1
|
* hir_ty: use default type generic for box expressionscynecx2021-02-281-0/+55
|
* Add test for #1165Jonas Schievink2021-02-101-0/+29
| | | | Closes #1165
* Add more testsJonas Schievink2021-02-101-8/+33
|
* Update fixed testsJonas Schievink2021-02-101-3/+6
|
* infer: update resolver when descending into blockJonas Schievink2021-02-101-0/+19
|
* Handle box with allocatorThiƩbaud Weksteen2021-01-221-0/+24
| | | | | | | | In 1.49.0, the definition of Box was modified to support an optional Allocator[1]. Adapt the parsing of the `box` keyword to supply the expected number of parameters to the constructor. [1] https://github.com/rust-lang/rust/commit/f288cd2e179f600fa00c2a407206a12f6c5a91e0
* Add ConstParams to the ide layerLukas Wirth2021-01-011-1/+0
|
* Add ConstParams to the HIRLukas Wirth2021-01-011-0/+17
|
* Implement const block inferenceLukas Wirth2020-12-231-4/+9
|
* Infer labeled blocksLukas Wirth2020-12-111-0/+56
|
* binary operator overload type inference: add test markRoland Ruckerbauer2020-10-141-0/+3
|
* Implement binary operator overloading type inferenceRoland Ruckerbauer2020-10-131-0/+86
|
* Implement async blocksoxalica2020-09-101-18/+27
|
* Switch to expect_test from crates.ioAleksey Kladov2020-08-211-1/+1
|
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+2218