File typecks but shouldn't with trait error in associated type

[petervdonovan]

Problem

The following file has an associated type with an unsatisfied trait bound:

pub trait ConsList {
    type Cdr: ConsList;
}
impl ConsList for () {
    type Cdr = usize;
}

Argus is not able to help with it, even though with -Znext-solver=globally I get the expected error message, "the trait bound usize: ConsList is not satisfied".

Logs

OS: linux (6.8.0-62-generic)
VSCode: 1.101.1
Error message

File typecks but shouldn't: /home/peter/issue-61/src/lib.rs