aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/interner.rs
Commit message (Collapse)AuthorAgeFilesLines
* Add lowering of array lengths in typesJade2021-05-131-1/+2
| | | | | | | | | | | 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-5/+11
| | | | | | | | | | 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?
* More cleanupsFlorian Diebold2021-04-091-0/+9
|
* Move ToChalk -> mappingFlorian Diebold2021-04-091-4/+13
|
* Reorganize hir_ty modulesFlorian Diebold2021-04-091-0/+405
Chalk isn't really a 'traits' thing anymore, so it doesn't make sense to have all the Chalk-related stuff in submodules of `traits`.