Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.
Sign upeffect checking should really be using `expr_ty_adjusted` #28776
Comments
arielb1
pushed a commit
to arielb1/rust
that referenced
this issue
Oct 1, 2015
arielb1
referenced this issue
Oct 1, 2015
Merged
use the *adjusted* callee type in effect checking #28790
arielb1
added
the
I-unsound 💥
label
Oct 1, 2015
bors
added a commit
that referenced
this issue
Oct 2, 2015
bors
closed this
in
#28790
Oct 2, 2015
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
arielb1 commentedSep 30, 2015
Reproduced on:
rustc 1.5.0-nightly (6108e8c3e 2015-09-28)