fn function_reaches<'hir>( gcx: Gcx<'hir>, hir: &'hir Hir<'hir>, function_id: FunctionId, target: FunctionId, seen: &mut Vec<FunctionId>, ) -> bool