We need to rethink this conversion trait, I doubt it is seeing much use, it has an awkward name(?)
Activity
bluss commentedon Sep 24, 2019
more interesting approach to traits in #339
akern40 commentedon Dec 26, 2024
We may want to consider closing this with #1469