你能做到的

widgets2.Where(y=>widget1.Any(z=>z.TypeID==y.TypeID));

你需要的是Join。

var widgets1_in_widgets2 = from first in widgest1
    join second in widgets2
    on first.TypeID equals second.TypeID
    select first;

Intersect或多或少可以被看作是Join的一种特殊情况，在这种情况下，两个序列是相同类型的，因此可以应用于相等，而不需要对每种类型进行投影来生成要比较的键。
如果某个ID在第二个集合中重复，而您不希望该条目在结果中重复，则可以使用GroupJoin代替Join：

var widgets1_in_widgets2 = from first in widgest1
    join second in widgets2
    on first.TypeID equals second.TypeID
    into matches
    where matches.Any()
    select first;

我喜欢这个解决方案，因为它很容易阅读代码。

bool result = firstList.All(o => secondList.Any(w => w.Prop1 == o.Prop1 && w.Prop2 == o.Prop2));

请参见fiddle中的完整示例：Fiddle example comparation

Join的缺点是，如果widgets1或widgets2包含多个具有相同TypeID的元素（顺便说一下，这也适用于原始代码），则结果可能会重复。
以下内容将完全满足您的需要：返回widgets1中的所有元素，widgets2中存在具有相应TypeID的元素。

widgets1_in_widgets2 = (from w1 in widgets1
                        where widgets2.Any(w2 => w1.TypeID == w2.TypeID)
                        select w1).ToList()

尝试使用“Where”重载

var isMatch = !widgets1.Where((w1, index) => w1.TypeId == widgets2[index].TypeId)).Any();

您总是可以使用Linq自己的.Except()method来为您进行比较，并返回“异常”或您所期望的相反结果。

newErr = errList.Except(hList).ToList();

在这里，我将一个数组errList与另一个数组hList进行“相交”，并返回其逆或hList数组中不存在的行。

errList = "this is a new line"

hList =  ["first line","2nd line","3rd line"]

结果

newErr = "this is a new line"