Module inline_
judge
paralegal_
flow
0.0.1
Module inline_
judge
Module Items
Structs
Enums
Type Aliases
In paralegal_
flow::
ana
Modules
graph_converter
inline_judge
Structs
InlineJudge
MyCallback
SPDGGenerator
Functions
def_info_for_item
def_kind_for_item
default_index
dirty_try_resolve_func_id
path_for_item
src_loc_for_span
type_info_sanity_check
with_reset_level_if_target
paralegal_flow
::
ana
Module
inline_judge
Copy item path
Settings
Help
Summary
Source
Structs
§
Inline
Judge
The interpretation of marker placement as it pertains to inlining and inline elision.
Safety
Checker
🔒
A check for the abstraction safety of a given instance.
Enums
§
Inline
Judgement
Describes the type of inlining to perform
Type Aliases
§
K