[Spec] Completed the spec of `from_bcs`, `any`, `copyable_any` and `type_info`#5712

Merged

junkil-park merged 1 commit intomainfrom jpark/spec_from_bcs

Dec 1, 2022

Commits on Dec 1, 2022

[Spec] Completed the spec of from_bcs, any, copyable_any and type_info
junkil-park
committed