I hate to bikeshed, but this page breaks the browser's back button. After scrolling to the bottom, the back button takes you to the previous section and needs to be clicked ~5 times to leave the page.

I've never seen the back button go back to section anchors like that before.

This is awesome! I wonder what the benefits and challenges of doing this at the AST level vs in LLVM IR are.

How much of the language needs to be supported by the AST bytecode interpreter to support precomputing constexprs?

If information about constexprs could be propagated to LLVM IR, could and LLVM IR interpreter be used to precompute constexprs?

Also, would a complete AST bytecode interpreter be useful for checks in clang static analyzer?