Motivation
As pointed out here, if you can connect 2 things, it should just work. However, this is currently not the case because of output types. Output types can become never which signifies invalid inputs. These types of errors are currently not accounted for when checking whether for compatibility.

Description
Check for output type never when checking assignability. If assigning some input type causes any node output to become never, then the assignment should be invalid.