def METHOD_NAME(get_contract, assert_compile_failed, typ):
    lo, hi = typ.ast_bounds
    good_cases = [0, 1, 2, 3, hi // 2 - 1, hi // 2, hi // 2 + 1, hi - 1, hi]
    bad_cases = [-1, -2, -3, -hi // 2, -hi + 1, -hi]
    code_template = """