// 05. 컴파일 에러가 나야 하는 코드
//
// 각 함수는 주석에 적힌 진단 하나를 정확히 내야 한다.
// 체커가 생기면 그대로 테스트 케이스가 된다.

// close는 파일을 소비한다: own 유표기
pub fn close(own f: File) effects {File.close}

// [E-move-after-move] affine 값의 이중 소비
pub fn double_close(own f: File) effects {File.close} {
    close(f)
    close(f)        // ERROR: f는 이미 move됨 (앞줄에서 소비)
}

// [E-move-join] 분기 병합은 보수적 합집합
pub fn conditional_close(own f: File, c: Bool) effects {File.close} {
    if c {
        close(f)
    }
    close(f)        // ERROR: f는 이 분기에서 move됨 (조건부 소비)
}

// 정당한 형태 — 양쪽 분기에서 소비하면 통과해야 한다.
pub fn both_branches_close(own f: File, c: Bool) effects {File.close} {
    if c {
        close(f)
    } else {
        close(f)
    }
}

// [E-use-escape] 빌린 값의 반환
pub fn leak_capability(pay: PaymentGateway) -> PaymentGateway {
    pay             // ERROR: 빌린 값은 반환할 수 없음 (own이 아니다)
}

// [E-use-escape] 빌린 값의 저장
pub struct Holder {
    pay: PaymentGateway,
}

pub fn store_capability(pay: PaymentGateway) -> Holder {
    Holder { pay: pay }   // ERROR: 빌린 값은 struct에 저장할 수 없음
}

// [E-use-escape] 빌린 값을 capture한 클로저를 own 자리에 전달
pub fn register(handler: own fn()) effects {Registry.add}

pub fn escape_via_closure(pay: PaymentGateway) effects {Registry.add} {
    register(fn() { pay.refund(OrderId(1)) })
    // ERROR: pay를 capture한 클로저는 빌린 값이며 own 자리에 전달할 수 없음
}

// [E-affinity-transitive] affine 필드를 가진 타입을 copyable로 선언
pub copyable struct Box {
    f: File,        // ERROR: affine 필드(File)와 copyable 선언은 공존할 수 없음
}

// [E-callable-affinity] affine 값을 capture한 클로저를 fn 위치에 대입
pub fn misuse_affine_closure(own f: File) -> fn() effects {File.close} {
    fn() { close(f) }
    // ERROR: f를 capture했으므로 타입은 affine fn()이며 fn() 위치에 대입할 수 없음
}

// [E-spawn-capture] spawn 클로저의 mutable capture
pub fn spawn_mutable(sc: TaskScope, mut counter: Int) effects {TaskScope.spawn} {
    scope sc {
        sc.spawn(fn() { counter = counter + 1 })
        // ERROR: spawn 클로저는 mutable 참조를 capture할 수 없음
    }
}

// [E-effect-undeclared] 선언되지 않은 effect
pub fn silent_write(log: Logger) {
    log.write("hi")   // ERROR: effect Logger.write가 시그니처에 선언되지 않음
}

// [E-syntax-effect-union] 파라미터 위치의 합집합은 문법에 존재하지 않는다.
// 검사기가 아니라 파서가 거부한다 (eff_param 프로덕션에 "|"가 없다).
pub fn peel[a, e: effects](
    f: fn(a) effects e | {Logger.write},
) effects e -> fn(a)
// ERROR (parse): 파라미터 위치의 effects 절은 변수 단독 또는 리터럴 집합만 허용

// [E-syntax-match-guard] match 가드는 v0 문법에 없다
pub fn classify(e: PayError) -> String {
    match e {
        Network(r) if r.retryable => "retry",
        // ERROR (parse): match 가드는 지원되지 않음. 분기 본문에서 if를 쓸 것
        _ => "other",
    }
}