Skip to content

Deprioritize fulfillment errors that come from expansions.#106820

Merged
bors merged 1 commit intorust-lang:masterfrom
m-ou-se:macro-type-error-thing
Jan 15, 2023

Commits

Commits on Jan 14, 2023