Apply suggestions from code review

Co-authored-by: Michael Goulet <michael@errs.io>
Co-authored-by: Rémy Rakic <remy.rakic+github@gmail.com>
This commit is contained in:
Oli Scherer 2022-04-12 21:36:09 +02:00 committed by GitHub
parent 93a3cfb748
commit 6d0349d2ea
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -191,7 +191,7 @@ fn orphan_check_impl(tcx: TyCtxt<'_>, def_id: LocalDefId) -> Result<(), ErrorGua
return Err(reported); return Err(reported);
} }
} }
span_bug!(sp, "opque type not found, but `has_opaque_types` is set") span_bug!(sp, "opaque type not found, but `has_opaque_types` is set")
} }
Ok(()) Ok(())

View File

@ -1,4 +1,4 @@
// Another example from issue #84660, this time weaponized as a safe transmut: an opaque type in an // Another example from issue #84660, this time weaponized as a safe transmute: an opaque type in an
// impl header being accepted was used to create unsoundness. // impl header being accepted was used to create unsoundness.
#![feature(type_alias_impl_trait)] #![feature(type_alias_impl_trait)]