Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add lowering of array lengths in types | Jade | 2021-05-13 | 1 | -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 types | Jade | 2021-05-11 | 1 | -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 cleanups | Florian Diebold | 2021-04-09 | 1 | -0/+9 |
| | |||||
* | Move ToChalk -> mapping | Florian Diebold | 2021-04-09 | 1 | -4/+13 |
| | |||||
* | Reorganize hir_ty modules | Florian Diebold | 2021-04-09 | 1 | -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`. |