Я тоже в компиляторе только видел. По сути юзаются для того, чтобы сделать всё, кроме того, что указано в сигнатурах, internal и не сильно париться об остальном
Но я бы лучше такое обозвал иначе: inferred types locking after compilation или как-то так. Это может быть удобным для того, чтобы после компиляции один раз, тайпчек не вызывался на каждый чих. Но с другой может быть неудобным для больших рефакторингов