if the type params are unconstrained wildcards, consider them resolved

note: this doesn't necessarily prevent back references in generic types from causing stack overflows