//~ execute:all def main() { let x = true debug(x) //~ HOVER: bool }