> if you consider illegal immigrants as people

Actually, I disagree[0].

The logic works just fine if you recognize that it is impossible to achieve 100% success rate. It is absolutely insane to me that on a website full of engineers people do not consider failure analysis when it comes to laws.

  Conditioned that you have not determined someone is an illegal immigrant: 
  _______What do you want to happen here? _________________

Wait, sorry, let me use code for the deaf

  if (person.citizenStatus == illegal && person.citizenStatus in police.knowledge()) {
     deport(person, police)
  } else if (person.citizenStatus == illegal) {
     // What do you want to happen?
     // deport(person) returns error. There is no police to deport them
  } else if (person.citizenStatus == legal) {
     fullRights(person)
  } else if (person.citizenStatus == unknown {
    // Also a necessary question to answer
    // Do you want police randomly checking every person? That's expensive and a similar event helped create America as well as a very different Germany
  } else {
    // raise error, we shouldn't be here?
  }

Am I missing something? Seems like you could be completely selfish, hate illegal immigrants, AND benefit through policies of Sanctuary Cities and giving them TINs. How is that last one even an argument? It's "free" money.

EDIT:

  > the bill of rights only applies to citizens

Just a note. This has been tested in courts and there's plenty of writings from the founders themselves, both of which would evidence that the rights are to everyone (the latter obviously influencing the former). It's not hard to guess why. See the "alternative solution" in my linked comment... It's about the `person.citizenStatus == unknown` case....

[0] https://news.ycombinator.com/item?id=43796826