https://pantsbuild.org/ logo
#development
Title
# development
h

happy-kitchen-89482

07/17/2020, 9:54 PM
Like we have two degrees of freedom here (rule vs. goal_rule and "return type is Goal vs not") and then we have to check that they line up.