nothing about how it works is built into the language, its up to user code/libraries to decide how to do it.
the popular libraries like tokio are using something akin to green threads, though people picky about definitions may not agree to that nomenclature.