pub const INFERENCE_CONFLICT: &str = "cove::type::inference_conflict";
Two uses of a local binding ask for different types where its initializer left one open.