[Draft] [WIP]: Abstract operators and Type traits.

[Kaida-Amethyst]

To Support the code like following, mentioned in issue #1773 .

fn trig_sum[T: Floating + Add](x: T) -> T {
  x.sin() + x.cos()
}

fn main {
  let _ = trig_sum(1.0);
  let _ = trig_sum(1.0:Float);
}

TODO:

• trait Add
• trait Sub
• trait Mul
• trait Div
• trait Mod
• trait Neg
• trait Floating (or other name?)
• trait Integer? Or trait Signed and trait Unsigned? (need discussion).

Still working on it. Keep testing.

[coveralls]

Pull Request Test Coverage Report for Build 5684

Details

• 0 of 8 (0.0%) changed or added relevant lines in 4 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage decreased (-0.1%) to 92.521%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
builtin/bigint_nonjs.mbt	0	2	0.0%
builtin/byte.mbt	0	2	0.0%
int16/int16.mbt	0	2	0.0%
uint16/uint16.mbt	0	2	0.0%

Totals
Change from base Build 5680:	-0.1%
Covered Lines:	6025
Relevant Lines:	6512

---

💛 - Coveralls

[hackwaly]

related #1798

[Kaida-Amethyst]

related #1798

Looks great! I’m thinking it might not be the best fit for me to implement this feature since it touches on some core aspects of the library. 🙃