Function valid_constructor_call 

fn valid_constructor_call(
    gcx: Gcx<'_>,
    context: ConstructorContext,
    id: ContractId,
    args: &CallArgs<'_>,
    options: &Option<&CallOptions<'_>>,
) -> bool

Checks constraints that disappear when new is replaced by a cheatcode call. The generated argument struct retains type checks, but not source ABI-coder restrictions. Keep parameterized ABI-coder-v1 calls native rather than duplicating Solc ABI validation.