What is this `\`? Does this actually compile?