]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #54757 - nikomatsakis:nll-issue-54573-user-annot, r=pnkfelix
authorbors <bors@rust-lang.org>
Tue, 9 Oct 2018 10:15:44 +0000 (10:15 +0000)
committerbors <bors@rust-lang.org>
Tue, 9 Oct 2018 10:15:44 +0000 (10:15 +0000)
user annotations in patterns

Fixes https://github.com/rust-lang/rust/issues/54573

r? @pnkfelix


Trivial merge