Process completed with exit code 1.

This runtime coercion or type test from type� 'a � to � bool �involves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.

The type '[]<_>' does not define the field, constructor or member 'First'.

This runtime coercion or type test from type� 'a � to � bool �involves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.

The type '[]<_>' does not define the field, constructor or member 'First'.

Pattern discard is not allowed for union case that takes no data.

Pattern discard is not allowed for union case that takes no data.

Pattern discard is not allowed for union case that takes no data.

Pattern discard is not allowed for union case that takes no data.

Pattern discard is not allowed for union case that takes no data.

Pattern discard is not allowed for union case that takes no data.

This rule will never be matched

This rule will never be matched

The target framework 'netcoreapp2.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.