LYR-SEM0180

an '@Allow' that takes back nothing

warning · spec 16-diagnostics · lint useless-allow, group unused, warn unless said

An @Allow names a lint that nothing inside the declaration or module it sits on reports.

Explanation

An @Allow that takes back nothing is stale: the code it was written for has changed, or it never applied. Warning about it lets it leave with the code it was written for.

Remove the attribute, or name the lint that is reported there.

Wrong

@Allow("unused-variable")
fn tidy(): int {
    let used = 1;
    return used;
}

fn main(): void {
    let _ = tidy();
}

Right

fn tidy(): int {
    let used = 1;
    return used;
}

fn main(): void {
    let _ = tidy();
}