correctly deal with user type ascriptions in pat #96515
+304
−189
We went looking everywhere, but couldn’t find those commits.
Sometimes commits can disappear after a force-push. Head back to the latest changes here.