1Something other than a type or const parameter has been used when one was2expected.34Erroneous code example:56```compile_fail,E07997fn bad1() -> impl Sized + use<main> {}89fn bad2(x: ()) -> impl Sized + use<x> {}1011fn main() {}12```1314In the given examples, for `bad1`, the name `main` corresponds to a function15rather than a type or const parameter. In `bad2`, the name `x` corresponds to16a function argument rather than a type or const parameter.1718Only type and const parameters, including `Self`, may be captured by19`use<...>` precise capturing bounds.