Ignore derived for now

This commit is contained in:
Ayaz Hafiz 2022-05-19 17:02:25 -04:00
parent e78b345ee0
commit c7dacb879c
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -1340,6 +1340,7 @@ fn to_pending_type_def<'a>(
| Opaque {
header: TypeHeader { name, vars },
typ: ann,
derived: _,
} => {
let (kind, shadow_kind) = if matches!(def, Alias { .. }) {
(AliasKind::Structural, ShadowKind::Alias)