Module builtins

This file contains information about the builtin functions/types/traits definitions

IMPORTANT: When checking whether names are equal to one of the reference names below, we ignore the disambiguators (see crate::names and [crate::names_utils]).

Statics

EXPLICIT_PANIC_NAME

Functions

type_to_used_params

When translating from MIR to ULLBC, we ignore some type parameters for some builtin types. For instance, many types like box or vec are parameterized (in MIR) by an allocator (std::alloc::Allocator): we ignore it.