Functions allow parameters that are aliased to checked values

[imalsogreg]

// A type alias to a type with a check.
type MultipleAttrs = int @assert({{ this > 0 }}) @check(gt_ten, {{ this > 10 }})

// That alias is used as a parameter.
function AliasWithMultipleAttrs(money: MultipleAttrs) -> MultipleAttrs {
    client "openai/gpt-4o"
    prompt r#"
      Return the given integer without additional context:

      {{ money }}

      {{ ctx.output_format }}
    "#
}

This code passes validation, but won't work at runtime, because there is to way to construct a Checked value on the client.

We don't currently support checked values as function parameters, so we should also forbid them when they are behind a type alias.

[linear]

BAML-260 Functions allow parameters that are aliased to checked values