This makes it possible to treat more kinds of nested item/code as holes, instead of being restricted to closures.
#[coverage(..)]
These tests reflect the current implementation behaviour, which is not necessarily the desired behaviour.