Use new `Type`-based generic resolution in `write_rust_path`