> and didn't say that they use a library under GPL.
The situation is exactly that: a GPL library incorporated into an MIT project:
"You wrote a library in Rust and uploaded it to Cargo using the GPL license. Someone grabs it via cargo and uses it in their own project, which is distributed with the MIT license."
I see. Thanks!