- Bool | Char | Str | Int(_) | Uint(_) | Float(_) |
- Infer(InferTy::IntVar(_)) | Infer(InferTy::FloatVar(_)) |
- Infer(InferTy::FreshIntTy(_)) | Infer(InferTy::FreshFloatTy(_)) => true,
+ Bool
+ | Char
+ | Str
+ | Int(_)
+ | Uint(_)
+ | Float(_)
+ | Infer(InferTy::IntVar(_))
+ | Infer(InferTy::FloatVar(_))
+ | Infer(InferTy::FreshIntTy(_))
+ | Infer(InferTy::FreshFloatTy(_)) => true,