title: Simplification of validators.

-- in.cue --
package main

import (
	"strings"
	"time"
)

t1: {
	#Test: {
		#HTTP:  =~"^http://"
		#SSH:   !~"^ssh://"
		#USER:  strings.MinRunes(3)
		source: #HTTP | #SSH | #USER | #Test
	}

	foo: #Test & {
		source: "http://blablabla"
	}

	bar: #Test & {
		source: foo
	}
}

t2: {
	str: "foo"
	a:   =~str
	b:   =~"foo"
	c:   a & b & a & b

	d: time.Time
	e: time.Time()
	f: d & e & d & e
}
-- out/eval/stats --
Leaks:  0
Freed:  121
Reused: 107
Allocs: 14
Retain: 0

Unifications: 65
Conjuncts:    205
Disjuncts:    121
-- out/eval --
(struct){
  t1: (struct){
    #Test: (#struct){
      #HTTP: (string){ =~"^http://" }
      #SSH: (string){ !~"^ssh://" }
      #USER: (string){ strings.MinRunes(3) }
      source: (string){ |((string){ =~"^http://" }, (string){ !~"^ssh://" }, (string){ strings.MinRunes(3) }) }
    }
    foo: (#struct){
      #HTTP: (string){ =~"^http://" }
      #SSH: (string){ !~"^ssh://" }
      #USER: (string){ strings.MinRunes(3) }
      source: (string){ "http://blablabla" }
    }
    bar: (#struct){
      #HTTP: (string){ =~"^http://" }
      #SSH: (string){ !~"^ssh://" }
      #USER: (string){ strings.MinRunes(3) }
      source: (#struct){
        #HTTP: (string){ =~"^http://" }
        #SSH: (string){ !~"^ssh://" }
        #USER: (string){ strings.MinRunes(3) }
        source: (string){ "http://blablabla" }
      }
    }
  }
  t2: (struct){
    str: (string){ "foo" }
    a: (string){ =~"foo" }
    b: (string){ =~"foo" }
    c: (string){ =~"foo" }
    d: (string){ time.Time() }
    e: (string){ time.Time() }
    f: (string){ time.Time() }
  }
}
-- out/compile --
--- in.cue
{
  t1: {
    #Test: {
      #HTTP: =~"^http://"
      #SSH: !~"^ssh://"
      #USER: 〈import;strings〉.MinRunes(3)
      source: (〈0;#HTTP〉|〈0;#SSH〉|〈0;#USER〉|〈1;#Test〉)
    }
    foo: (〈0;#Test〉 & {
      source: "http://blablabla"
    })
    bar: (〈0;#Test〉 & {
      source: 〈1;foo〉
    })
  }
  t2: {
    str: "foo"
    a: =~〈0;str〉
    b: =~"foo"
    c: (((〈0;a〉 & 〈0;b〉) & 〈0;a〉) & 〈0;b〉)
    d: 〈import;time〉.Time
    e: 〈import;time〉.Time()
    f: (((〈0;d〉 & 〈0;e〉) & 〈0;d〉) & 〈0;e〉)
  }
}