Rollup merge of #144702 - compiler-errors:stall-const-arg-has-type, r=lcnr

stall `ConstArgHasType` in `compute_goal_fast_path`

I'm having major deja-vu about this; I thought that already implemented this but 🤷 maybe not.

Author: jdonszelmann