fn help_debug_goal_stmt<'tcx, 'ctx>( ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, bidx: usize, sidx: usize, )