Skip to content

[WIP] Remove type ascription syntax#106826

Closed
Noratrieb wants to merge 2 commits intorust-lang:masterfrom
Noratrieb:type_ascription﹕ǃ

Hidden character warning

The head ref may contain hidden characters: "type_ascription\ufe55\u01c3"
Closed

[WIP] Remove type ascription syntax#106826
Noratrieb wants to merge 2 commits intorust-lang:masterfrom
Noratrieb:type_ascription﹕ǃ

Commits

Commits on Jan 13, 2023