VRP

ValueRange-Propagation for to allow more implicit casts
else static if

The type cannot be struct and builtin.