Expected type, found ...

fn make() -> u32::MAX { 0 }   // E0573: expected type, found const `u32::MAX`

Type position only accepts types. u32::MAX is a const value, not a type. Other shapes that trigger the error: trait names used as types without dyn, modules, function names.

- Replace with the actual type: fn make() -> u32 { u32::MAX }. - For trait objects, write dyn Trait: fn handler() -> Box<dyn Handler>. - For type aliases, ensure the alias points at a type, not a value. - Match the kind to the position — values to value position, types to type position.