Module Impl

INTERNAL: This module contains the customizable definition of BoxPat and should not be referenced directly.

Import path

import codeql.rust.elements.internal.BoxPatImpl

A box pattern. For example: rust match x { box Option::Some(y) => y, box Option::None => 0, };