From: bors Date: Tue, 9 Oct 2018 10:15:44 +0000 (+0000) Subject: Auto merge of #54757 - nikomatsakis:nll-issue-54573-user-annot, r=pnkfelix X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=e1643a8968753226dab7ab3c9fee826f097550f2;p=rust.git Auto merge of #54757 - nikomatsakis:nll-issue-54573-user-annot, r=pnkfelix user annotations in patterns Fixes https://github.com/rust-lang/rust/issues/54573 r? @pnkfelix --- e1643a8968753226dab7ab3c9fee826f097550f2