very slight progress on (ung.) let case in infer_d_complete