code: protected boolean isVoid(Conjunct type, LifetimeRelation lifetimes) {
  		// FIXME: do we really need to defensively copy all this data here?
  		SemanticType.Atom[] positives = Arrays.copyOf(type.positives, type.positives.length);
  		SemanticType.Atom[] negatives = Arrays.copyOf(type.negatives, type.negatives.length);
  		SemanticType.Intersection lhs = new SemanticType.Intersection(positives);
  		SemanticType.Union rhs = new SemanticType.Union(negatives);
  		return subtypeOperator.isVoid(new SemanticType.Difference(lhs, rhs), lifetimes);
  	}
docs: Determine whether a given conjunct is equivalent to <code>void</code> or not.
  For example, <code>int & !int</code> is equivalent to <code>void</code>.
  Likewise, <code>{int f} & !{any f}</code> is equivalent to <code>void</code>.
  
  @param type
  @return
  @throws ResolutionError