일단 const fn const variable const impl 등등만 사용 가능한 const context위에서 돌아가는데

그 함수를 컴파일러에 내장된 miri라는 인터프리터에 넣어서 평가함

이때 재밌는건 miri엔 UB탐지 기능이 있어서 평가중에 UB가 일어나면 컴파일 에러가남

이렇게 평가된 결과는 바이트채로 저장돼서 static등등에 들어가게됨