AFAIK it achieved generally due to some restrictions but not by using type information from sources
b
AFAIK it achieved generally due to some restrictions but not by using type information from sources