Hi, this minor [5 Regression], an ICE on invalid, seems just matter of passing the tsubst_flags_t argument from build_over_call to mark_used and then guarding require_deduced_type in the latter. Tested x86_64-linux. Thanks, Paolo. /////////////////////////