Analyzes the code and reports errors when explicitly prohibited types are used as generic type arguments.