diff options
| author | gingerBill <bill@gingerbill.org> | 2018-05-12 19:54:16 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2018-05-12 19:54:16 +0100 |
| commit | 373a60b9ef414f857d454bf7907fe9872e9b077f (patch) | |
| tree | 17bba4a522e510f71d5d5202c01383b86270fbc8 /src/ptr_set.cpp | |
| parent | 2ef22e86e0742d6dcf0e8c4796f126134e808086 (diff) | |
`type_info_of` allows `typeid`; `typeid_of` allows `^Type_Info`; Otherwise only allow type
Diffstat (limited to 'src/ptr_set.cpp')
0 files changed, 0 insertions, 0 deletions