This commit is contained in:
Folkert 2023-01-08 15:47:56 +01:00
parent 2e27746413
commit 57f2233278
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -62,7 +62,6 @@ fn headers_from_annotation_help(
| Shadowed(_, _, symbol)
| AbilityMemberSpecialization {
ident: symbol,
// TODO(abilities): handle linking the member def to the specialization ident
specializes: _,
} => {
let annotation_index = {