Auto merge of #125853 - tesuji:promote-fail-fast, r=cjgillot · model-checking/verify-rust-std@bb602cf (original) (raw)

Provide feedback

Auto merge of rust-lang#125853 - tesuji:promote-fail-fast, r=cjgillot

promote_consts: some clean-up after experimenting This is some clean-up after experimenting in rust-lang#125916, Prefer to review commit-by-commit.

lines changed

lines changed

Original file line number	Diff line number	Diff line change
@@ -16,7 +16,7 @@ alloc = { path = "../alloc" }
16	16	core = { path = "../core" }
17	17	unwind = { path = "../unwind" }
18	18	compiler_builtins = "0.1.0"
19		-cfg-if = "1.0"
	19	+cfg-if = { version = "1.0", features = ['rustc-dep-of-std'] }
20	20
21	21	[target.'cfg(not(all(windows, target_env = "msvc")))'.dependencies]
22	22	libc = { version = "0.2", default-features = false }