RepoNotes
Toggle theme
Loading ...
Sign in
rust-lang/a-mir-formality
a model of MIR and the Rust type/trait system
338
15
78
Readme
Notes
New Note
Sign in to add notes for this repository
RN
rust-lang
16808
Followers
0
Following
237
Repos
No Twitter
Nothing here
Branches
x11
user-ty
ty-fn-def
Releases
Commits
Merge pull request #319 from pranavpurankar/restore-struct-test test: restore PR #282 missing struct borrow check coverage
test: restore missing struct borrow check coverage PR #282
Merge pull request #300 from xonx4l/check_coherence Convert check_coherence to a judgment function
Issues
Check if `is_definitely_not_proveable` is correct
Resolve when/where to check for WF
decide how to handle early- and late-bounds here