{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":")"}]}
    ) -> Arc<rust_ir::FnDefDatum<Interner>> {
        fn_def_id: chalk_ir::FnDefId<Interner>,
        self.db.fn_def_datum(from_chalk(self.db, fn_def_id))