about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
diff options
context:
space:
mode:
authorAli MJ Al-Nasrawy <alimjalnasrawy@gmail.com>2024-03-19 20:58:37 +0000
committerAli MJ Al-Nasrawy <alimjalnasrawy@gmail.com>2024-03-20 17:29:58 +0000
commit19e0ea4a6d4266eeae6fc05c42b2e4ba78e19b6b (patch)
tree2c3f3ac7f24e5e8ea2b62bcf479ac9f58846308f /compiler/rustc_borrowck/src
parenta7e4de13c1785819f4d61da41f6704ed69d5f203 (diff)
downloadrust-19e0ea4a6d4266eeae6fc05c42b2e4ba78e19b6b.tar.gz
rust-19e0ea4a6d4266eeae6fc05c42b2e4ba78e19b6b.zip
make `type_flags(ReError) & HAS_ERROR`
Diffstat (limited to 'compiler/rustc_borrowck/src')
-rw-r--r--compiler/rustc_borrowck/src/region_infer/opaque_types.rs4
1 files changed, 0 insertions, 4 deletions
diff --git a/compiler/rustc_borrowck/src/region_infer/opaque_types.rs b/compiler/rustc_borrowck/src/region_infer/opaque_types.rs
index bea9be24028..193b6d3e3d9 100644
--- a/compiler/rustc_borrowck/src/region_infer/opaque_types.rs
+++ b/compiler/rustc_borrowck/src/region_infer/opaque_types.rs
@@ -434,10 +434,6 @@ fn check_opaque_type_parameter_valid(
     // Only check the parent generics, which will ignore any of the
     // duplicated lifetime args that come from reifying late-bounds.
     for (i, arg) in opaque_type_key.args.iter().take(parent_generics.count()).enumerate() {
-        if let Err(guar) = arg.error_reported() {
-            return Err(guar);
-        }
-
         let arg_is_param = match arg.unpack() {
             GenericArgKind::Type(ty) => matches!(ty.kind(), ty::Param(_)),
             GenericArgKind::Lifetime(lt) if is_ty_alias => {