Color : [Blue, Red]

get_favorite_color : (Str) -> Color
get_favorite_color = |name| {
    if name == "Bob" {
        Blue
    } else {
        Red
    }
}

expect match get_favorite_color("Bob") {
    Blue => Bool.True
    _ => Bool.False
}

UNCONDITIONAL CONDITION
This match value is known at compile time, so this match will always inspect the same value.

10% ❯ roc examples/bugs/unconditional_conditional.roc

┌─────────────────────────┐
│ UNCONDITIONAL CONDITION ├─ This match value is known at compile time, so this match will always inspect the same value. ──────────────────────────┐
└┬────────────────────────┘                                                                                                                         │
 │                                                                                                                                                  │
 │  expect match get_messages("Bob") {                                                                                                              │
 │               ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾                                                                                                                │
 └────────────────────── /var/folders/6t/1pxgxq6x3z5279ljlxshg2nc0000gn/T/roc/release-fast-26ecddf3/Vo9KUFE5LHdQ2vChgIPqlQkHThUTjpdX/main.roc:18:14 ┘



Found 0 error(s) and 1 warning(s) for /var/folders/6t/1pxgxq6x3z5279ljlxshg2nc0000gn/T/roc/release-fast-26ecddf3/Vo9KUFE5LHdQ2vChgIPqlQkHThUTjpdX/main.roc.

terrocotta on  main [!?] via ↯ v0.16.0
󰂃 10% ❯ roc build examples/bugs/unconditional_conditional.roc

┌─────────────────────────┐
│ UNCONDITIONAL CONDITION ├─ This match value is known at compile time, so ───┐
└┬────────────────────────┘  this match will always inspect the same value.   │
 │                                                                            │
 │  expect match get_messages("Bob") {                                        │
 │               ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾                                          │
 └────────────────────────────────────────────────────────────────────────────┘
    /var/folders/6t/1pxgxq6x3z5279ljlxshg2nc0000gn/T/roc/release-fast-26ecddf3/N01parxE2JborsMqhPcXgNd8BuiPF8SO/unconditional_conditional.roc:18:14


0 errors and 1 warning found in 56ms while successfully building:

    unconditional_conditional

terrocotta on  main [!?] via ↯ v0.16.0
󰂃 10% ❯ roc test examples/bugs/unconditional_conditional.roc
All (1) tests passed in 10.0 ms.

┌─────────────────────────┐
│ UNCONDITIONAL CONDITION ├─ This match value is known at compile time, so ───┐
└┬────────────────────────┘  this match will always inspect the same value.   │
 │                                                                            │
 │  expect match get_messages("Bob") {                                        │
 │               ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾                                          │
 └────────────────────────────────────────────────────────────────────────────┘
    /Users/romain/Projects/terrocotta/examples/bugs/unconditional_conditional.roc:12:14