Typed exception for assignment type check fail.