Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
More robust type_eq_non_static implementation (#14)
According to #6 (comment) in reference to the `type_id_of::<T> as usize`-based implementation: > As for the function instantiation address taking thing: it simply looks broken/unsound - the only reason LLVM mergefunc would even consider them distinct is its implementation being too simple and nowhere near "graph isomorphism" (remember that we have `unnamed_addr` semantics for functions, which makes it valid to merge functions _even if their addresses are observed_). > I am being told by lcnr (also working on polymorphization) that this will break at some point the future (assuming we get to turn that on by default), so this is not that theoretical.
- Loading branch information