bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Remove 'E0312' from 'compile_fail,E0312' statement temporarily

Browse source
This commit is contained in:
reez12g 2022-10-02 11:00:43 +09:00
parent e89fbc5872
commit ebcec30182
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_borrowck/src/diagnostics/region_errors.rs
View file

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

4
compiler/rustc_borrowck/src/region_infer/mod.rs
View file

@ -1398,7 +1398,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
/// whether any of the constraints were too strong. In particular, /// whether any of the constraints were too strong. In particular,
/// we want to check for a case where a universally quantified /// we want to check for a case where a universally quantified
/// region exceeded its bounds. Consider: /// region exceeded its bounds. Consider:
/// ```ignore(compile_fail,E0312) /// ```compile_fail
/// fn foo<'a, 'b>(x: &'a u32) -> &'b u32 { x } /// fn foo<'a, 'b>(x: &'a u32) -> &'b u32 { x }
/// ``` /// ```
/// In this case, returning `x` requires `&'a u32 <: &'b u32` /// In this case, returning `x` requires `&'a u32 <: &'b u32`
@ -1451,7 +1451,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
/// <https://smallcultfollowing.com/babysteps/blog/2019/01/17/polonius-and-region-errors/> /// <https://smallcultfollowing.com/babysteps/blog/2019/01/17/polonius-and-region-errors/>
/// ///
/// In the canonical example /// In the canonical example
/// ```ignore(compile_fail,E0312) /// ```compile_fail
/// fn foo<'a, 'b>(x: &'a u32) -> &'b u32 { x } /// fn foo<'a, 'b>(x: &'a u32) -> &'b u32 { x }
/// ``` /// ```
/// returning `x` requires `&'a u32 <: &'b u32` and hence we establish (transitively) a /// returning `x` requires `&'a u32 <: &'b u32` and hence we establish (transitively) a