8000 fix `let _: ty = expr` subtyping error by lcnr · Pull Request #93856 · rust-lang/rust · GitHub
[go: up one dir, main page]
Skip to content

fix let _: ty = expr subtyping error #93856

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 7 commits into from
Closed

fix let _: ty = expr subtyping error #93856

Changes from 1 commit
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
3fb1f68
update comment
lcnr Feb 10, 2022
7edcec0
keep variance for `CanonicalUserTypeAnnotation`
lcnr Feb 10, 2022
be012c7
change how ascribe user ty deals with variance
lcnr Feb 18, 2022
5ee4525
add comment
lcnr Feb 18, 2022
c7f5216
add some fun tests
lcnr Feb 18, 2022
c3a91a8
fix rustc_codegen_cranelift
lcnr Feb 18, 2022
368caf8
bless mir
lcnr Feb 18, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
fix rustc_codegen_cranelift
  • Loading branch information
@lcnr
lcnr committed Feb 18, 2022
commit c3a91a83bab73365b0cfc52849c8150afc6de627
2 changes: 1 addition & 1 deletion compiler/rustc_codegen_cranelift/src/constant.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -517,7 +517,7 @@ pub(crate) fn mir_operand_get_const_val<'tcx>(
| StatementKind::StorageLive(_)
| StatementKind::StorageDead(_)
| StatementKind::Retag(_, _)
| StatementKind::AscribeUserType(_, _)
| StatementKind::AscribeUserType(_)
| StatementKind::Coverage(_)
| StatementKind::Nop => {}
}
Expand Down
0