#type safety #type validation #compiler error #type casting rules #type inference #control flow