False positive linting errors are generated that claim the / character is an unsupported operand type for str and str. / is the proper path separation delimiter character to use to concatenate path ...

Unsupported left operand for type * in onnxscript and opset15 #18200 ...