Dotc trait for real types