(Any) : Refine to detect programming errors like in 238f0cfd74 at compile time