{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"///"}]}
    /// are about to type check:
    /// Given the expected type, figures out what it can about this closure we
    #[instrument(skip(self), level = "debug", ret)]