This commit is contained in:
Camelid 2020-10-05 15:07:27 -07:00
parent c877ff3664
commit c8d25af698
2 changed files with 2 additions and 5 deletions

View File

@ -1225,7 +1225,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
/// it. However, it works pretty well in practice. In particular,
/// this is needed to deal with projection outlives bounds like
///
/// ```ignore (MIR syntax)
/// ```ignore (internal compiler representation so lifetime syntax is invalid)
/// <T as Foo<'0>>::Item: '1
/// ```
///

View File

@ -41,13 +41,10 @@ pub struct OpaqueTypeDecl<'tcx> {
/// The span of this particular definition of the opaque type. So
/// for example:
///
/// ```
/// ```ignore (incomplete snippet)
/// type Foo = impl Baz;
/// fn bar() -> Foo {
/// // ^^^ This is the span we are looking for!
/// // ...
/// # unimplemented!()
/// }
/// ```
///
/// In cases where the fn returns `(impl Trait, impl Trait)` or