Skip to content

Commit ebcec30

Browse files
committed
Remove 'E0312' from 'compile_fail,E0312' statement temporarily
1 parent e89fbc5 commit ebcec30

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

compiler/rustc_borrowck/src/diagnostics/region_errors.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -341,7 +341,7 @@ impl<'a, 'tcx> MirBorrowckCtxt<'a, 'tcx> {
341341
/// Report an error because the universal region `fr` was required to outlive
342342
/// `outlived_fr` but it is not known to do so. For example:
343343
///
344-
/// ```ignore(compile_fail,E0312)
344+
/// ```compile_fail
345345
/// fn foo<'a, 'b>(x: &'a u32) -> &'b u32 { x }
346346
/// ```
347347
///

compiler/rustc_borrowck/src/region_infer/mod.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1398,7 +1398,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
13981398
/// whether any of the constraints were too strong. In particular,
13991399
/// we want to check for a case where a universally quantified
14001400
/// region exceeded its bounds. Consider:
1401-
/// ```ignore(compile_fail,E0312)
1401+
/// ```compile_fail
14021402
/// fn foo<'a, 'b>(x: &'a u32) -> &'b u32 { x }
14031403
/// ```
14041404
/// In this case, returning `x` requires `&'a u32 <: &'b u32`
@@ -1451,7 +1451,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
14511451
/// <https://smallcultfollowing.com/babysteps/blog/2019/01/17/polonius-and-region-errors/>
14521452
///
14531453
/// In the canonical example
1454-
/// ```ignore(compile_fail,E0312)
1454+
/// ```compile_fail
14551455
/// fn foo<'a, 'b>(x: &'a u32) -> &'b u32 { x }
14561456
/// ```
14571457
/// returning `x` requires `&'a u32 <: &'b u32` and hence we establish (transitively) a

0 commit comments

Comments
 (0)