Module BoxPat

This module provides the public class BoxPat.

Import path

import codeql.rust.elements.BoxPat

Pat	This module provides the public class `Pat`.

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