Здравствуйте, Lloyd, Вы писали:

L>Такая операция недопустима. Это следует из того, что не должно быть боксинга.

Вооот! Хотя у автора такого требования нет.
Более того, исходя из требования использования специального значения Undefined и наличия операции "Удаление и очистка" (когда вместо имеющегося значения по ключу будет этот самый Undefined и положен) следует, что тип того, что лежит в коллекции по ключу, запросто может меняться. А раз тип заранее не известен, то непосредственно типизированный вызов обобщенного метода сделать не получится.
Это именно и есть противоречие в концепции, о котором я уже говорил.