a-mir-formality
a-mir-formality copied to clipboard
add a fn-def type and adjust type of fn constants
but we're not really testing it in any useful way.
cc @voidc
Huh, tests were passing locally for me, I thought.
I don't understand why CI is failing :(
Ah, but it actually started failing when I merged #95, it appears. Curious.
The PR itself seemed fine, but browsing the actions, I see this: https://github.com/nikomatsakis/a-mir-formality/actions/runs/3054378958/jobs/4926199312
It works locally, I'm going to merge, but we have to figure this out at some point!