This commit is contained in:
Folkert 2022-04-23 21:20:49 +02:00
parent 44c08779c3
commit ea15203ff9
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -761,8 +761,8 @@ impl DefOrdering {
} }
} }
} }
DefReferences::Empty => { DefReferences::AnnotationWithoutBody => {
// produced by annotations without bodies // annotatations without bodies don't reference any other definitions
} }
} }
} }
@ -1178,7 +1178,7 @@ fn add_annotation_aliases(
enum DefReferences { enum DefReferences {
Value(References), Value(References),
Function(References), Function(References),
Empty, AnnotationWithoutBody,
} }
struct TempOutput { struct TempOutput {
@ -1301,7 +1301,7 @@ fn canonicalize_pending_value_def_new<'a>(
TempOutput { TempOutput {
output, output,
references: DefReferences::Empty, references: DefReferences::AnnotationWithoutBody,
def, def,
} }
} }