Каким образом реализуются inline функции с использованием reified типа в языке программирования, и что происходит на уровне компиляции и выполнения?