a-mir-formality icon indicating copy to clipboard operation
a-mir-formality copied to clipboard

add a fn-def type and adjust type of fn constants

Open nikomatsakis opened this issue 3 years ago • 1 comments

but we're not really testing it in any useful way.

cc @voidc

nikomatsakis avatar Sep 14 '22 17:09 nikomatsakis

Huh, tests were passing locally for me, I thought.

nikomatsakis avatar Sep 14 '22 20:09 nikomatsakis

I don't understand why CI is failing :(

nikomatsakis avatar Sep 17 '22 13:09 nikomatsakis

Ah, but it actually started failing when I merged #95, it appears. Curious.

nikomatsakis avatar Sep 17 '22 13:09 nikomatsakis

The PR itself seemed fine, but browsing the actions, I see this: https://github.com/nikomatsakis/a-mir-formality/actions/runs/3054378958/jobs/4926199312

nikomatsakis avatar Sep 17 '22 13:09 nikomatsakis

It works locally, I'm going to merge, but we have to figure this out at some point!

nikomatsakis avatar Sep 20 '22 09:09 nikomatsakis