Constant UNCONSTRAINED_RESULT 

pub const UNCONSTRAINED_RESULT: &str = "cove::type::unconstrained_result";

A host operation whose schema declares its result Any, so the checker can prove nothing about the value it produced (note).