using side effects

[waalge]

fn get_thing_with_checks() {
  // do some expects and return something
}

With

   // when i want checks done but don't need the return 
  expect _thing = get_thing_with_checks()

Aiken says

  help: If your type has one constructor, unless you are casting from Data, you can
  prefer using a let binding like so...

---

With

   let _thing = get_thing_with_checks()

Aiken says:

  help: If you do want to enforce some side-effects, use expect with _total instead of let.

[MicroProofs]

Try let Void = ...

[waalge]

 60 │         let Void = get_thing_with_checks()
    ·             ──┬─
    ·               ╰── expected type 'Int'

[rvcas]

Why does get_thing_with_checks return an Int?

[waalge]

I guess my description was too terse. I have a function that is used in multiple places. Some places I return the value to do additional logic. Other places I need to know only that the conditions of the value existing are as expected.

thing here is of type int.