// Error: 8-25 condition is always true
#while 2 < "hello".len() {}