MirPhase: clarify that linting is not a semantic change r? ```@JakobDegen```
rustc_data_structures::thin_vec::ThinVec
thin_vec::ThinVec
For more information about how rustc works, see the rustc dev guide.