{"ast_node_type":"import","tokens":[{"end":111,"kind":"keyword","start":0,"text":"//"}]}
        // Note: Chalk doesn't actually use this information yet as far as I am aware, but we provide it anyway
    let bound = rust_ir::FnDefDatumBound {
        inputs_and_output: chalk_ir::Binders::empty(