Reports local variable types which are redundant, because they can be inferred from the context and thus can be replaced with 'var'.