lib.types.defaultTypeMerge

The following is the current implementation of this function.

defaultTypeMerge =
    f: f':
    let
      mergedPayload = f.binOp f.payload f'.payload;

      hasPayload =
        assert (f'.payload != null) == (f.payload != null);
        f.payload != null;
    in
    # Abort early: cannot merge different types
    if f.name != f'.name then
      null
    else

    if hasPayload then
      if mergedPayload == null then null else f.type mergedPayload
    else
      f.type;