fix: compilation issue w/ refactored type · model-checking/verify-rust-std@1342ef1

Original file line number	Diff line number	Diff line change
`@@ -416,8 +416,8 @@ impl File {`
`416`	`416`	`dwHighDateTime: (info.LastWriteTime >> 32) as u32,`
`417`	`417`	`},`
`418`	`418`	`change_time: Some(c::FILETIME {`
`419`		`-dhLowDateTime: info.ChangeTime as c::DWORD,`
`420`		`-dhHighDateTime: (info.ChangeTime >> 32) as c::DWORD,`
	`419`	`+dwLowDateTime: info.ChangeTime as u32,`
	`420`	`+dwHighDateTime: (info.ChangeTime >> 32) as u32,`
`421`	`421`	`}),`
`422`	`422`	`file_size: 0,`
`423`	`423`	`reparse_tag: 0,`