// Test for bug #17372: Uninitialized interface type field gives runtime error when accessing it
// Expected behavior: print "nil" instead of causing a runtime crash

interface Boo {}

struct Foo {
    boo Boo
}

@[noinit]
struct Bar {
    boo Boo
}

fn test_uninitialized_interface_field_str() {
    // Printing uninitialized interface field should return "nil", not crash
    s := '${Foo{}.boo}'
    assert s == 'nil', 'Expected "nil" for uninitialized interface, got "${s}"'
}

fn test_uninitialized_interface_field_in_struct_str() {
    // Struct containing uninitialized interface should also work
    foo := Foo{}
    s := '${foo}'
    assert s.contains('boo: nil'), 'Expected struct str to contain "boo: nil", got "${s}"'
}

fn test_noinit_struct_with_interface_field() {
    bar := Bar{}
    s := '${bar.boo}'
    assert s == 'nil', 'Expected "nil" for noinit struct interface field, got "${s}"'
}