Can't use associated types in definition of associated refinement

[enjhnsn2]

When I try to verify the code:

#[flux_rs::generics(Self as base)]
#[flux_rs::assoc(fn can_fit(self: Self, animal: Self::Animal) -> bool)]
trait Barn {
    type Animal;
    fn put_animal_in_house(&mut self, animal: Self::Animal);
}

It fails with:

error[E0999]: cannot find sort `Self::Animal` in this scope
   --> src/main.rs:700:49
    |
700 | #[flux_rs::assoc(fn can_fit(self: Self, animal: Self::Animal) -> bool)]
    |                                                 ^^^^^^^^^^^^ not found in this scope

Is there a trick to referencing associated types within an associated refinement definition, or is this feature currently unsupported in Flux?

[nilehmann]

This is currently unsupported.

[ranjitjhala]

Is is this popping up a lot? i.e. should I work on this first or #808 ?

[enjhnsn2]

@ranjitjhala This issue is more of a direct blocker atm, since specifying the MPU trait requires this feature.