From 17c4103f3f0cc8bd4dea9de5e7ef155daf363cfe Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Sun, 11 Mar 2018 07:13:14 -0400 Subject: [PATCH] add "text" sections for things that seem likely to be a problem --- src/librustc/infer/canonical.rs | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/librustc/infer/canonical.rs b/src/librustc/infer/canonical.rs index 21d60bb8b36fc..9519baa3ff7bc 100644 --- a/src/librustc/infer/canonical.rs +++ b/src/librustc/infer/canonical.rs @@ -457,7 +457,9 @@ impl<'cx, 'gcx, 'tcx> InferCtxt<'cx, 'gcx, 'tcx> { /// *also* replace all free regions whatsoever. So for example a /// query like `T: Trait<'static>` would be canonicalized to /// - /// T: Trait<'?0> + /// ```text + /// T: Trait<'?0> + /// ``` /// /// with a mapping M that maps `'?0` to `'static`. /// @@ -486,7 +488,9 @@ impl<'cx, 'gcx, 'tcx> InferCtxt<'cx, 'gcx, 'tcx> { /// there was an input query `T: Trait<'static>`, it would have /// been canonicalized to /// - /// T: Trait<'?0> + /// ```text + /// T: Trait<'?0> + /// ``` /// /// with a mapping M that maps `'?0` to `'static`. But if we found that there /// exists only one possible impl of `Trait`, and it looks like