Skip to content

Stabilize Any::get_type_id and rename to type_id#57834

Merged
bors merged 1 commit intorust-lang:masterfrom SimonSapin:type_idJan 24, 2019

Commits

Commits on Jan 22, 2019