<!-- from what i remember, this is not something we want to expose to users but instead we want people to suggest when they notice they need this so we can improve automatic inlining -->

# No support for user inlining

## Summary

## Motivation

## Design


## Drawbacks


## Alternatives