{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"block:"}]}
    block: Option<BlockId>,
    krate: Crate,
    goal: &chalk_ir::UCanonical<chalk_ir::InEnvironment<chalk_ir::Goal<Interner>>>,