Typealiases in constrained extensions aren't actually constrained today