@@ -436,7 +436,7 @@ public override IEnumerable<KeyValuePair<string, string>> GetRichDescription() {
436436 }
437437 }
438438
439- protected override bool Equals ( Protocol other ) =>
439+ protected override bool Equals ( Protocol other ) =>
440440 other is TupleProtocol tp &&
441441 _values . Zip ( tp . _values , ( x , y ) => x . SetEquals ( y ) ) . All ( b => b ) ;
442442
@@ -523,6 +523,7 @@ public override IAnalysisSet GetIndex(Node node, AnalysisUnit unit, IAnalysisSet
523523 }
524524
525525 public override string Name => "dict" ;
526+ public override BuiltinTypeId TypeId => BuiltinTypeId . Dict ;
526527
527528 public override IEnumerable < KeyValuePair < string , string > > GetRichDescription ( ) {
528529 if ( _valueType . Any ( ) ) {
@@ -575,14 +576,13 @@ protected override void EnsureMembers(IDictionary<string, IAnalysisSet> members)
575576 }
576577
577578 public override string Name => "generator" ;
578-
579+ public override BuiltinTypeId TypeId => BuiltinTypeId . Generator ;
580+
579581 public IAnalysisSet Yielded => _yielded ;
580582 public IAnalysisSet Sent { get ; }
581583 public IAnalysisSet Returned { get ; }
582584
583- public override IAnalysisSet GetReturnForYieldFrom ( Node node , AnalysisUnit unit ) {
584- return Returned ;
585- }
585+ public override IAnalysisSet GetReturnForYieldFrom ( Node node , AnalysisUnit unit ) => Returned ;
586586
587587 public override IEnumerable < KeyValuePair < string , string > > GetRichDescription ( ) {
588588 if ( _yielded . Any ( ) || Sent . Any ( ) || Returned . Any ( ) ) {
0 commit comments