-
Christian Kamm authored
The idea is that it may be a plugin-provided type. We don't want user code to be riddled with error markers in that case. Reviewed-by: Roberto Raggi
45efd5b5
The idea is that it may be a plugin-provided type. We don't want user code to be riddled with error markers in that case. Reviewed-by: Roberto Raggi