// SPDX-License-Identifier: Apache-2.0
// SPDX-FileCopyrightText: 2022 The Gleam contributors

import one

// This operation is not permitted because the type is opaque and this module
// did not define the custom type.

pub fn destructure(user: one.User) {
  let one.User(name: name, score: score) = user
  #(name, score)
}
