script { fun main() { let x: u64; let y = x; } } // check: COPYLOC_UNAVAILABLE_ERROR