wehub-resource-sync
e7738de6d2
CI / Deep Native Runtime Cases (1/6) (push) Has been skipped
CI / Native Preflight (push) Failing after 1s
CI / Native Runtime Cases (1/2) (push) Failing after 0s
CI / Native Runtime Cases (2/2) (push) Failing after 1s
CI / Native Metadata Reports (push) Failing after 0s
CI / Native Direct Backend Artifacts (push) Failing after 0s
CI / Native Sanitizer Smoke (push) Failing after 1s
CI / Command Contract Snapshots (push) Failing after 1s
CI / Deep Conformance Suite (push) Has been skipped
CI / Graph Build Perf (push) Failing after 1s
CI / Deep Native Preflight (push) Has been skipped
CI / Deep Native Runtime Cases (2/6) (push) Has been skipped
CI / Deep Native Runtime Cases (3/6) (push) Has been skipped
CI / Conformance Suite (push) Failing after 1s
CI / Workspace Checks (push) Failing after 0s
CI / Deep Native Runtime Cases (5/6) (push) Has been skipped
CI / Deep Native Runtime Cases (6/6) (push) Has been skipped
CI / Deep Native Runtime Cases (4/6) (push) Has been skipped
CI / Deep Graph Build Perf (push) Has been skipped
18 lines
295 B
Plaintext
18 lines
295 B
Plaintext
type S {
|
|
value: i32,
|
|
fn risky(self: ref<Self>) -> Void raises [Bad] {
|
|
raise Bad
|
|
}
|
|
}
|
|
|
|
interface Risky<T: Type> {
|
|
fn risky(self: ref<T>) -> Void raises [Bad]
|
|
}
|
|
|
|
fn run<T: Risky<T>>(value: ref<T>) -> Void raises [Bad] {
|
|
check T.risky(value)
|
|
}
|
|
|
|
pub fn main() -> Void {
|
|
}
|