Constant BRANCHES 

pub const BRANCHES: &str = "cove::type::branches";

The branches of an if or the arms of a match produce different types.