nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-22 23:04:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Normalize lazy type aliases when probing for ADTs

Browse Source
This commit is contained in:
León Orell Valerian Liehr 2023-07-16 12:38:43 +02:00
parent ffb9b61294
commit c856c74764
No known key found for this signature in database
GPG Key ID: D17A07215F68E713
2 changed files with 20 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/rustc_hir_typeck/src/fn_ctxt/mod.rs
View File

@ -302,7 +302,9 @@ impl<'a, 'tcx> AstConv<'tcx> for FnCtxt<'a, 'tcx> {
match ty.kind() {
ty::Adt(adt_def, _) => Some(*adt_def),
// FIXME(#104767): Should we handle bound regions here?
ty::Alias(ty::Projection | ty::Inherent, _) if !ty.has_escaping_bound_vars() => {
ty::Alias(ty::Projection | ty::Inherent | ty::Weak, _)
if !ty.has_escaping_bound_vars() =>
{
self.normalize(span, ty).ty_adt_def()
}
_ => None,

17
tests/ui/type-alias/lazy-type-alias-enum-variant.rs Normal file
View File

@ -0,0 +1,17 @@
// Regression test for issue #113736.
// check-pass
#![feature(lazy_type_alias)]
enum Enum {
Unit,
Tuple(),
Struct {},
}
fn main() {
type Alias = Enum;
let _ = Alias::Unit;
let _ = Alias::Tuple();
let _ = Alias::Struct {};
}