Fix typecks on some spurious fudged function input expectation#150316

Open

ShoyuVanilla wants to merge 3 commits intorust-lang:mainfrom

ShoyuVanilla:fudge-checks

Commits on Jan 15, 2026

Add tests for issue number 89299 and 149881
ShoyuVanilla
committed
Do not use ill-formed input expectations when checking function calls
ShoyuVanilla
committed
Weaken the expectation to `ExpectRvalueLikeUnsized` for expected input tys that do not satisfy the callee bounds
ShoyuVanilla
committed