{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"function:"}]}
                    function: fn_def_id,
                ObligationCauseCode::WellFormed(Some(WellFormedLoc::Param {
                    param_idx: idx,