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]).

Enums

• BuiltinFun
  We redefine identifiers for built-in functions here, instead of reusing the identifiers from [ullbc_ast], because:

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.