Handle bindings in substructure of patterns with type ascriptions#55274

Merged

bors merged 12 commits intorust-lang:masterfrom pnkfelix:issue-54570-proj-path-into-pats-with-type-take-2

Oct 27, 2018

Commits on Oct 26, 2018

Remove PlaceContext from API of mir::Visitor::visit_projection_elem.
pnkfelix
committed
restrict scope of methods that are only called within mod tree of parent.
pnkfelix
committed
Refactoring: added PatternTypeAnnotation wrapper around UserTypeAnnotation to ease future changes.
pnkfelix
committed
Added mir::UserTypeProjection, a stub for a structure that projects *into* a given UserTypeAnnotation.
pnkfelix
committed
Checkpoint: Added abstraction over collection of projections into user type.
pnkfelix
committed
Add the actual chain of projections to UserTypeProjection.
pnkfelix
committed
Update mir-opt tests to reflect change to AscribeUserType to carry a UserTypeProjection.
pnkfelix
committed
regression test for ICE I encountered in my patch.
pnkfelix
committed
Add test for normalization during field-lookup on patterns with ascribed types.
pnkfelix
committed
Add intern table for List<ProjectionElem<'tcx, (), ()>>.
pnkfelix
committed
Further foundational stuff on ProjectionKind before I add it to AscribeUserType.
pnkfelix
committed
add user_ty.projs support to AscribeUserType.
pnkfelix
committed