Foo<direct!(<T as Trait>::ASSOC)> and #[typeconst] const ASSOC: usize as well as no const blocks required to get an anon const. Requiring explicit const blocks is untenable as it breaks half the ecosystem and is wildly backwards incompatible :)