Skip to content

Improve a TAIT error and add an error code plus documentation#106940

Merged
bors merged 1 commit intorust-lang:masterfrom
oli-obk:tait_error
Jan 16, 2023
Merged

Improve a TAIT error and add an error code plus documentation#106940
bors merged 1 commit intorust-lang:masterfrom
oli-obk:tait_error

Commits

Commits on Jan 16, 2023