Improve handling of type aliases
Open
- Dominant language
- Rust
- Stars
- 2.6k
- Forks
- 179
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 29
Description
Currently, we recognize well-known tokens like `u32` and lower them to Lean as `U32`, which means we aren't robust against e.g. `type u32 = u8;`. We should fix this or at least warn very loudly about it.
Presumably analyzing LLBC directly (#3040) would partially resolve this concern.
Contributor guide
Assessment
This issue has not been assessed yet.