fix `let _: ty = expr` subtyping error - #93856

Closed

lcnr wants to merge 7 commits into

rust-lang:masterfrom

lcnr:type-annotations-variance

Commits on Feb 18, 2022

update comment
lcnr
committed
3fb1f68
keep variance for `CanonicalUserTypeAnnotation`
lcnr
committed
7edcec0
change how ascribe user ty deals with variance
lcnr
committed
be012c7
add comment
lcnr
committed
5ee4525
add some fun tests
lcnr
committed
c7f5216
fix rustc_codegen_cranelift
lcnr
committed
c3a91a8
bless mir
lcnr
committed
368caf8