You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Specialisation in Rust is unsound and might disappear at some point. There is a new min_specialization feature but it doesn't immediately work with rboehm. It might be worth looking at whether we can move fairly painlessly to min_specialization or not.
The text was updated successfully, but these errors were encountered:
Ah. This min_specialization subset looks fairly new. I wasn't aware of it when I worked on this but hopefully it will be usable for us since we also rely quite heavily on specialization in the rustc fork too.
Specialisation in Rust is unsound and might disappear at some point. There is a new
min_specialization
feature but it doesn't immediately work with rboehm. It might be worth looking at whether we can move fairly painlessly tomin_specialization
or not.The text was updated successfully, but these errors were encountered: