From: bors Date: Fri, 25 Jan 2019 14:25:37 +0000 (+0000) Subject: Auto merge of #57714 - matthewjasper:wellformed-unreachable, r=pnkfelix X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=0b1669d96cee9dec9035a50fdf0a967a68605f98;p=rust.git Auto merge of #57714 - matthewjasper:wellformed-unreachable, r=pnkfelix [NLL] Clean up handling of type annotations * Renames (Canonical)?UserTypeAnnotation -> (Canonical)?UserType so that the name CanonicalUserTypeAnnotation is free. * Keep the inferred type associated to user type annotations in the MIR, so that it can be compared against the annotated type, even when the annotated expression gets removed from the MIR. (#54943) * Use the inferred type to allow infallible handling of user type projections (#57531) * Uses revisions for the tests in #56993 * Check the types of `Unevaluated` constants with no annotations (#46702) * Some drive-by cleanup Closes #46702 Closes #54943 Closes #57531 Closes #57731 cc #56993 leaving this open to track the underlying issue: we are not running tests with full NLL enabled on CI at the moment r? @nikomatsakis --- 0b1669d96cee9dec9035a50fdf0a967a68605f98