pub const TYPED_MACRO: &str = "typed-macro";Expand description
typed macro f(x): — a macro the checker expands, so its body can ask what a
call site’s expressions were inferred to be (docs/02 §2.4). A separate head
because the expander must leave it alone: an untyped expansion runs before there is
anything to ask.