Reporting labels that declare invariants but aren't loop heads#587

marcoeilers merged 2 commits into

masterviperproject/carbon:masterfrom

meilers_non_loop_head_inv_warnings2viperproject/carbon:meilers_non_loop_head_inv_warnings2Copy head branch name to clipboard