fn foo() {
   #[A] 1 + 2;
   #[B] if true {};
}