from lpython import i32

def test_nested_dict():
    d: dict[i32, dict[i32, i32]] = {1: {2: 3}}
    d[1] = {}       # Segmentation Fault

test_nested_dict()

from lpython import i32

def test_nested_dict():
    d: dict[i32, dict[i32, i32]] = {1: {2: 3}}
    d[1][4] = 5     # KeyError

test_nested_dict()

from lpython import i32

def test_nested_dict():
    d: dict[i32, dict[i32, i32]] = {}
    d[1] = {}
    assert len(d) == 1
    assert len(d[1]) == 0
    d[1][2] = 3     # FP Exception (!?)

test_nested_dict()

from lpython import i32

def test_nested_dict():
    d: dict[i32, dict[i32, i32]] = {1: {2: 3}}
    assert len(d) == 1
    assert len(d[1]) == 1
    d[1][3] = 4     # vs here KeyError

test_nested_dict()

from lpython import i32

def test_nested_dict():
    d: dict[i32, dict[i32, i32]] = {1001: {2002: 3003}}
    dx: dict[i32, i32]
    d[1001][2003] = 4005
    dx = d[1001]
    print(dx.keys())

test_nested_dict()

from lpython import i32

def test_nested_dict():
    d: dict[i32, dict[i32, dict[i32, i32]]] = {1001: {2002: {3003: 4004}}}
    dx: dict[i32, i32]
    d[1001][2002][4005] = 5006
    dx = d[1001][2002]
    print(dx.keys())

test_nested_dict()

def test_nested_dict():
    d: dict[i32, dict[i32, dict[i32, list[i32]]]] = {1001: {2002: {3003: [4004]}}}
    dx: dict[i32, list[i32]]
    d[1001][2002][4005] = [4004, 5006]
    dx = d[1001][2002]
    print(dx.keys(), dx[3003], dx[4005])

test_nested_dict()

from lpython import i32

def test_nested_dict():
    d: dict[i32, dict[i32, i32]] = {1001: {2002: 3003}, 1002: {1: 2}}
    d[1001] = d[1002]
    d[1001][2003] = 4005

test_nested_dict()

def test_nested_dict():
    d: dict[i32, dict[i32, i32]] = {1001: {2002: 3003}, 1002: {101: 2}}
    # d[1001] = {10: 20}
    d[1001] = d[1002]
    d[1001][100] = 4005
    # issue is only in this combination... (hangs)
    # d[1001][100] works if not d[1001] = d[1002]
    # and with d[1001] = d[1002], d[1001][101] works (key already +nt in d[1002])

test_nested_dict()

from lpython import i32

def test_nested_dict():
    d: dict[i32, dict[i32, i32]] = {1001: {2002: 3003}, 1002: {101: 2}}
    print(len(d[1001]), len(d[1002]))    # 1, 1
    d[1001] = d[1002]
    print(len(d[1001]), len(d[1002]))    # 0, 1

test_nested_dict()

l: list[list[i32]] = [[1, 2, 3], [4, 5, 6]]
l[1].append(7)  # semantic error: Only Name type and constant integers supported in Call

d: dict[i32, dict[i32, i32]] = {1: {2: 3}, 4: {5: 6}}
d[1].pop(2)    # same issue