fix: remove user `PartiallyUntyped` - #2184

Merged

jieyouxu merged 2 commits into

rust-lang:mainfrom

amustaque97:remove-PartiallyUntyped-account

Dec 15, 2025

The logs for this run have expired and are no longer available.