type IsJavaGood<T extends boolean> = T extends false
    ? "Definitely not"
    : "You must be kidding";
 
type Result = IsJavaGood<false>;